Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4); Mon, 25 Jan 1993 22:56:11 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA00712;
          Mon, 25 Jan 93 14:42:11 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from Ucthpx.UCT.AC.ZA by ted.cs.uidaho.edu (16.6/1.34) id AA00707;
          Mon, 25 Jan 93 14:42:01 -0800
Received: by ucthpx.uct.ac.za (/\==/\ Smail3.1.24.1 #24.2) id m0nGcIX-000NyqC;
          Tue, 26 Jan 93 00:28 SAST
Received: by elc.mth.uct.ac.za (4.1/SMI-4.1) id AA02499;
          Tue, 26 Jan 93 00:41:04+020
From: gavan@za.ac.uct.mth.elc (Gavan Tredoux)
Message-Id: <9301252241.AA02499@elc.mth.uct.ac.za>
Subject: HOL92 Proceedings
To: info-hol@edu.uidaho.cs.ted (Info-hol mailing list)
Date: Tue, 26 Jan 93 0:41:00 EET
X-Mailer: ELM [version 2.3 PL11]


Has anyone got the run-down on the HOL92 proceedings? I did
see a reference to them (it) somewhere, replete with ISBN number
and publisher, but grep will not find it. 

Gavan Tredoux
UCT