Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!cbosgd!ihnp4!ptsfa!ames!think!husc6!mit-eddie!uw-beaver!cornell!svax!pugh
From: pugh@svax.UUCP
Newsgroups: comp.lang.lisp
Subject: Wanted: a copy of the Boyer Lisp benchmark program
Message-ID: <1468@svax.cs.cornell.edu>
Date: Tue, 7-Jul-87 14:17:33 EDT
Article-I.D.: svax.1468
Posted: Tue Jul  7 14:17:33 1987
Date-Received: Thu, 9-Jul-87 06:29:04 EDT
Organization: Cornell Univ. CS Dept. Ithaca NY
Lines: 10

Robert Boyer wrote a benchmark theorem proving program for Lisp
systems which is described in Richard Gabriel's book on the
performance and evaluation of Lisp systems.  Does anybody have an
on-line copy of the program they could send me, post, or give
me access to.  The program is listed in Gabriel's book, but I would
prefer to not have to type it in.

	Thanks,
	  Bill Pugh
	  pugh@svax.cs.cornell.edu