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, 19 Sep 1995 22:54:08 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA026746082;
          Tue, 19 Sep 1995 15:28:02 -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 AA026686081;
          Tue, 19 Sep 1995 15:28:01 -0600
From: Paul "E." Black <black@lal.cs.byu.edu>
Received: by jaguar.cs.byu.edu (1.37.109.15/CS-Client) id AA126605990;
          Tue, 19 Sep 1995 15:26:30 -0600
Date: Tue, 19 Sep 1995 15:26:30 -0600
Message-Id: <199509192126.AA126605990@jaguar.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: HOL95 proceedings

We have still have a few copies of the HOL95 proceedings (both
A and B).  "A" proceedings are $30 each, "B" proceedings are
$5 each.  We will sell them for that price plus the cost of
shipping.  If you want one or both, e-mail me:
	- the shipping address
		name
		organization
		address
		country, etc.
		telephone number
	- how you want to pay (credit card is easiest since
		I can ship it, then charge the shipping
		and cost to the card)

-paul-
black@cs.byu.edu