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 <11817-0@swan.cl.cam.ac.uk>; Tue, 28 Apr 1992 16:42:13 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA02095;
          Tue, 28 Apr 92 08:30:56 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA02091;
          Tue, 28 Apr 92 08:30:44 -0700
Received: from razorbill.cl.cam.ac.uk by swan.cl.cam.ac.uk 
          with SMTP (PP-6.0) to cl id <09636-0@swan.cl.cam.ac.uk>;
          Tue, 28 Apr 1992 15:05:33 +0100
To: info-hol <info-hol@edu.uidaho.cs.ted>
Subject: HOL91 Proceedings?
Date: Tue, 28 Apr 92 15:05:30 +0100
From: Jim Grundy <Jim.Grundy@uk.ac.cam.cl>
Message-Id: <"swan.cl.ca.639:28.03.92.14.05.38"@cl.cam.ac.uk>


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).
So, the questions is: Are the attendees of this workshop going
to recieve one of these things.   Its just I'd have to shell
out the n, where n is large, sheckels required to buy one of these
only to have another copy arrive a week later.

Jim