Return-Path: 
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET 
          with NIFTP to fgate (PP) id <24117-0@swan.cl.cam.ac.uk>;
          Fri, 8 Mar 1991 11:25:20 +0000
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk 
          with SMTP inbound id <5281-52@sun2.nsfnet-relay.ac.uk>;
          Fri, 8 Mar 1991 11:16:09 +0000
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP 
          id aa00568; 8 Mar 91 7:10 GMT
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.4.0) id AA01450;
          Thu, 7 Mar 91 12:01:31 -0800
Received: from sun2.nsfnet-relay.ac.uk 
          by clover.eecs.ucdavis.edu (5.59/UCD.EECS.1.11) id AA27076;
          Thu, 7 Mar 91 12:02:51 PST
Received: from computer-lab.cambridge.ac.uk by sun2.nsfnet-relay.ac.uk 
          via JANET with NIFTP id <9764-4@sun2.nsfnet-relay.ac.uk>;
          Thu, 7 Mar 1991 10:54:03 +0000
Received: from cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP) 
          id <24034-0@swan.cl.cam.ac.uk>; Thu, 7 Mar 1991 10:00:28 +0000
To: info-hol@edu.ucdavis.clover
Subject: hol tar files
Date: Thu, 07 Mar 91 10:00:14 +0000
From: Sara.Kalvala@uk.ac.cam.cl
Message-Id: <"swan.cl.ca.052:07.02.91.10.00.54"@cl.cam.ac.uk>



Yes, I know - the tar files for HOL 1.12 cannot be found at
cs.uidaho.edu as promised. We've been having a lot of problems with
communications across the Atlantic, and we couldn't transfer
everything over as expected. Phil should probably get back to us all
when it is ready - it shouldn't be long as the link is finally up.
Meanwhile, I continue to put the sources on tape.

I do apologize to all who have tried to get the files. More later,

						- Sara Kalvala
						sk@cl.cam.ac.uk

						University of Cambridge
						Computer Laboratory
						New Museums Site
						Pembroke Street
						Cambridge CB2 3QG
						ENGLAND