Path: utzoo!mnetor!uunet!husc6!cmcl2!nrl-cmf!ames!pasteur!ucbvax!laura.UUCP!atoenne
From: atoenne@laura.UUCP (Andreas Toenne)
Newsgroups: comp.ai.digest
Subject: Re: Availability of Boyer and Moore's Prover
Message-ID: <325@laura.UUCP>
Date: 2 May 88 20:19:09 GMT
References: <8804230021.AA05197@CLI.COM>
Sender: daemon@ucbvax.BERKELEY.EDU
Reply-To: unido!atoenne@uunet.UU.NET (Andreas Toenne)
Organization: University of Dortmund, W-Germany
Lines: 21
Approved: ailist@kl.sri.com


In article <8804230021.AA05197@CLI.COM> boyer@CLI.COM (Robert S. Boyer) writes:
>A Common Lisp version of our theorem-prover is now available under the
>usual conditions: no license, no copyright, no fee, no support.  The
>To get a copy follow these instructions:
>
>1.   ftp to Arpanet/Internet host cli.com.

Ouch!

Can anyone send me this theorem-prover by e-mail please?
I have no ftp access :-(

Please send it to the following BITNET Address, as UUCP (and Arpa) Mail
costs me real $$.

	atoenne@ddoinf6.bitnet

	Thank you in advance

	Andreas Toenne