Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP) to cl
          id <27423-0@swan.cl.cam.ac.uk>; Tue, 8 Oct 1991 20:02:03 +0100
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (15.11/1.34) id AA08188;
          Tue, 8 Oct 91 11:51:48 pdt
Received: from cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP) to cl
          id <15997-0@swan.cl.cam.ac.uk>; Tue, 8 Oct 1991 16:04:32 +0100
To: info-hol@edu.uidaho.cs.ted
Subject: Obtaining HOL on tape & general queries
Date: Tue, 08 Oct 91 16:04:28 +0100
From: John.Harrison@uk.ac.cam.cl
Message-Id: <"swan.cl.ca.001:08.09.91.15.04.37"@cl.cam.ac.uk>


A previous message from Phil Windley mentioned how
to get HOL by FTP from TED.CS.UIDAHO.EDU.

Users in Europe who do not have FTP access may prefer
to obtain the HOL system on tape from Cambridge. If
so, then the person to contact is me:

  John Harrison (jrh@cl.cam.ac.uk)
  University of Cambridge Computer Laboratory
  New Museums Site
  Pembroke Street
  Cambridge CB2 3QG
  England.

  Phone: +44 223 334760
  Fax:   +44 223 334678

General queries about the HOL system can also be
directed to me in the first instance, preferably
via email.

John.