Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 7 Jun 1994 17:22:58 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA29378; Tue, 7 Jun 1994 08:39:20 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from sun2.nsfnet-relay.ac.uk by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA29371; Tue, 7 Jun 1994 08:38:30 -0600 Via: uk.ac.oxford.comlab; Tue, 7 Jun 1994 14:53:55 +0100 Received: from comlab.ox.ac.uk (topaz.comlab) by comlab.oxford.ac.uk id AA22808; Tue, 7 Jun 94 14:54:03 +0100 Received: by comlab.ox.ac.uk (4.1/comlab3.1) id AA01956; Tue, 7 Jun 94 14:49:01 BST Date: Tue, 7 Jun 94 14:49:01 BST From: Jonathan.Bowen@comlab.ox.ac.uk Message-Id: <9406071349.AA01956@topaz.comlab.ox.ac.uk> To: info-hol@leopard.cs.byu.edu Subject: WWW Virtual Library page on HOL You may be interested in a World Wide Web page on HOL which I have set up as part of the WWW Virtual Library under the "Formal Methods" section. See http://www.comlab.ox.ac.uk/archive/formal-methods/hol.html Pointers to further on-line information (preferably provided in HTML format) is welcome. Please email this directly to me since I only read info-hol irregularly. -- Jonathan Bowen ____________________________________________________________________ Oxford University Computing Laboratory, Programming Research Group Wolfson Building, Parks Road, Oxford OX1 3QD, England. Email: Jonathan.Bowen@comlab.ox.ac.uk URL: http://www.comlab.ox.ac.uk/oucl/people/jonathan.bowen.html FTP: ftp.comlab.ox.ac.uk:/pub/Documents/techpapers/Jonathan.Bowen