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