Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Fri, 14 May 1993 16:24:46 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA20814;
          Fri, 14 May 93 08:11:59 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (16.6/1.34) id AA20809;
          Fri, 14 May 93 08:11:51 -0700
Received: by grolsch.cs.ubc.ca id AA05141 (5.65c/IDA-1.3.5 
          for info-hol@ted.cs.uidaho.edu); Fri, 14 May 1993 08:11:54 -0700
Date: 14 May 93 8:11 -0700
From: hug93 <hug93@cs.ubc.ca>
To: info-hol@ted.cs.uidaho.edu
Message-Id: <92*hug93@cs.ubc.ca>

All submissions to the HOL User's Group meeting have been acknowledged
by email (... most acknowledgements were sent out about a week ago).
If you submitted a paper but did not receive an acknowledgement,
please contact the program chairman, Carl Seger <seger@cs.ubc.ca>, asap.