Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 20 Sep 1995 17:09:03 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA212791506;
          Wed, 20 Sep 1995 09:38:26 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from jaguar.cs.byu.edu by leopard.cs.byu.edu 
          with ESMTP (1.37.109.15/16.2) id AA212761505;
          Wed, 20 Sep 1995 09:38:25 -0600
From: Paul "E." Black <black@lal.cs.byu.edu>
Received: by jaguar.cs.byu.edu (1.37.109.15/CS-Client) id AA142061410;
          Wed, 20 Sep 1995 09:36:50 -0600
Date: Wed, 20 Sep 1995 09:36:50 -0600
Message-Id: <199509201536.AA142061410@jaguar.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: HOL95 proceedings

I realize this is only hours after the original announcement, but
all our extra copies are sold.  You should be able to get A
proceedings from Springer-Verlag, Berlin, ISBN 3-540-60275-5.

-paul-