Path: utzoo!mnetor!uunet!husc6!tut.cis.ohio-state.edu!mailrus!ames!pasteur!ucbvax!AEARN.BITNET!K312631
From: K312631@AEARN.BITNET (Herwig Mayr)
Newsgroups: comp.ai.digest
Subject: boyer-moore theorem prover in common LISP
Message-ID: <8803200708.AA01053@ucbvax.Berkeley.EDU>
Date: 20 Mar 88 10:50:57 GMT
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 5
Approved: ailist@kl.sri.com
X-Unparsable-Date: Wed, 16 Mar 88 10:30:37 SET


We are looking for a Common LISP version of the Boyer-Moore Theorem Prover
for use at our institute (mainly for lectures). Please, send replies over the
AIlist or to myself (K312631 at AEARN). Thank you||||

-herwig.