Received: from leopard.cs.byu.edu (leopard.cs.byu.edu [128.187.2.182]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id CAA05768; Sat, 14 Oct 1995 02:02:45 +0200
Received: by leopard.cs.byu.edu
	(1.37.109.15/16.2) id AA092626461; Fri, 13 Oct 1995 17:21:01 -0600
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.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 AA092496460; Fri, 13 Oct 1995 17:21:01 -0600
From: "Paul E. Black" <black@leopard.cs.byu.edu>
Received: by jaguar.cs.byu.edu (1.37.109.15/CS-Client)
	id AA009326226; Fri, 13 Oct 1995 17:17:06 -0600
Date: Fri, 13 Oct 1995 17:17:06 -0600
Message-Id: <199510132317.AA009326226@jaguar.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: HOL95 B Proceedings

The B proceedings are available in postscript form at
	http://lal.cs.byu.edu/lal/hol95/Bprocs/indexB.html

-paul-