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; Wed, 21 Jun 1995 11:36:49 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA158078193; Wed, 21 Jun 1995 03:49:53 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from swan.cl.cam.ac.uk by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA158038174; Wed, 21 Jun 1995 03:49:34 -0600 Received: from merganser.cl.cam.ac.uk (user rjb (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Wed, 21 Jun 1995 10:48:50 +0100 To: info-hol@leopard.cs.byu.edu Cc: Jonathan.Bowen@comlab.ox.ac.uk, uribe@cs.stanford.edu, Richard.Boulton@cl.cam.ac.uk Subject: New Web Pages for HOL Date: Wed, 21 Jun 1995 10:48:40 +0100 From: Richard Boulton Message-Id: <"swan.cl.cam.:250880:950621094911"@cl.cam.ac.uk> World Wide Web pages with information about the HOL system: http://www.cl.cam.ac.uk/Research/HVG/HOL/ and a guide to the ftp site for HOL at the University of Cambridge Computer Laboratory: http://www.cl.cam.ac.uk/Research/HVG/FTP/ are now available. ------------------------------------------------------------------------------ Richard J. Boulton, University of Cambridge Computer Laboratory, New Museums Site, Pembroke Street, Cambridge CB2 3QG, United Kingdom Email: rjb@cl.cam.ac.uk, Phone: +44 (0)1223 334729, Fax: +44 (0)1223 334678 URL: http://www.cl.cam.ac.uk/users/rjb/ ------------------------------------------------------------------------------