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; Tue, 26 Sep 1995 17:45:20 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA068952361;
          Tue, 26 Sep 1995 10:19:21 -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 AA068922360;
          Tue, 26 Sep 1995 10:19:21 -0600
From: Paul "E." Black <black@lal.cs.byu.edu>
Received: by jaguar.cs.byu.edu (1.37.109.15/CS-Client) id AA175402228;
          Tue, 26 Sep 1995 10:17:08 -0600
Date: Tue, 26 Sep 1995 10:17:08 -0600
Message-Id: <199509261617.AA175402228@jaguar.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: HOL95 "B" proceedings

If there is enough interest, we can print and send out more copies
of the "B" proceedings.  The cost will be about $6.50 for printing
plus any shipping charges (usually $6 to $10).  If want a copy of
the B proceedings, please let me know by e-mail:
        black@cs.byu.edu
I will also try to get electronic copies of the "B" track papers,
and make them available on-line.

You need to get A proceedings from Springer-Verlag, Berlin.  The              
ISBN is 3-540-60275-5.

-paul-