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 VAA11647; Tue, 10 Oct 1995 21:06:34 +0200 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA268849285; Tue, 10 Oct 1995 12:21:25 -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 AA268819284; Tue, 10 Oct 1995 12:21:25 -0600 From: "Paul E. Black" Received: by jaguar.cs.byu.edu (1.37.109.15/CS-Client) id AA278579067; Tue, 10 Oct 1995 12:17:47 -0600 Date: Tue, 10 Oct 1995 12:17:47 -0600 Message-Id: <199510101817.AA278579067@jaguar.cs.byu.edu> To: info-hol@leopard.cs.byu.edu Subject: Minutes of Discussion Session I converted Richard Boulton's minutes to HTML and made it available from the HOL95 page. The URL is http://lal.cs.byu.edu/lal/hol95/discussion.html Suggestions for improving the format are welcome. -paul-