Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!security!genrad!grkermit!masscomp!clyde!floyd!harpo!ihnp4!zehntel!hplabs!sri-unix!JK@SU-AI
From: JK%SU-AI@sri-unix.UUCP
Newsgroups: net.ai
Subject: Lisp for IBM machines
Message-ID: <15680@sri-arpa.UUCP>
Date: Fri, 13-Jan-84 12:22:00 EST
Article-I.D.: sri-arpa.15680
Posted: Fri Jan 13 12:22:00 1984
Date-Received: Fri, 20-Jan-84 06:12:58 EST
Lines: 8

From:  Jussi Ketonen <JK@SU-AI>

                [Reprinted from the SU-SCORE bboard.]

Standard Lisp runs quite well on the IBM machines.
The folks over at IMSSS on campus know all about it --
they have written several large theorem proving/CAI programs for
that environment.