Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 3 Oct 1994 10:45:25 +0100
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA20551;
          Mon, 3 Oct 1994 02:29:16 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from eagle.eng.warwick.ac.uk by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA20547;
          Mon, 3 Oct 1994 02:29:11 -0600
Received: from eng.warwick.ac.uk by eagle.eng.warwick.ac.uk with SMTP 
          id JAA24242; Mon, 3 Oct 1994 09:23:10 +0100
From: es774@eng.warwick.ac.uk
Date: Mon, 3 Oct 94 09:23:07 BST
Message-Id: <12629.9410030823@eng.warwick.ac.uk>
To: info-hol@leopard.cs.byu.edu
Subject: CSP-Library

Mail from: es774@eng.warwick.ac.uk

To: info-hol

Subject: Hoare's CSP in HOL

Hi all, 

	I have noticed that there is a CSP library in the contrib directory -
has anybody used it? Is there any documentation available for this library?
Does anybody know the adderess of the author?

Any help would be highly appreciated.

Thank you

Karim.