Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) 
          id <03697-0@swan.cl.cam.ac.uk>; Mon, 4 May 1992 14:56:33 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA23417;
          Mon, 4 May 92 06:48:09 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from Ucthpx.UCT.AC.ZA by ted.cs.uidaho.edu (16.6/1.34) id AA23413;
          Mon, 4 May 92 06:47:49 -0700
Received: by ucthpx.uct.ac.za (/\==/\ Smail3.1.24.1 #24.2) id m0li3LI-000O1dC;
          Mon, 4 May 92 15:44 SAST
Message-Id: <m0li3LI-000O1dC@ucthpx.uct.ac.za>
From: trdgav01@za.ac.uct.ucthpx (GL Tredoux)
Subject: HOL 91 Proceedings - Request
To: info-hol@edu.uidaho.cs.ted
Date: Mon, 4 May 92 15:44:34 SAST
X-Mailer: ELM [version 2.3 PL11]

Jim Grundy <Jim.Grundy@cl.cam.ac.uk> writes

> I see (well actually JVT sees and tells me) that the proceedings
> of the last HOL user meeting are now in IEEE's publications
> catalogue (albeit at a steep price).

Could someone please supply more details here? For instance price,
publisher, best place for mail-ordering it.

Gavan Tredoux
Lab. for Formal Aspects of CS
University of Cape Town