Xref: utzoo comp.theory:1738 comp.ai:8868 comp.misc:11896 Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!pacbell.com!ucsd!ogicse!uidaho!groucho.mrc.uidaho.edu!windley From: windley@cheetah.cs.uidaho.edu (Phil Windley/20000000) Newsgroups: comp.theory,comp.ai,comp.misc Subject: Re: Boyer-Moore Theorem Prover wanted Message-ID: Date: 29 Mar 91 16:53:47 GMT References: <1991Mar28.043857.21541@menudo.uh.edu> Sender: @groucho Organization: University of Idaho, Computer Science Dept. Lines: 16 In-Reply-To: manli@cs.uh.edu's message of 28 Mar 91 04:38:57 GMT Nntp-Posting-Host: cheetah.cs.uidaho.edu In article <1991Mar28.043857.21541@menudo.uh.edu> manli@cs.uh.edu (Man L. Li) writes: I'm looking for the Boyer-Moore Theorem Prover which was available for ftp at cs.utexas.edu. However, the last time I accessed it was no longer there. If anyone can email me info about this matter I'll appreciate very much. Try cli.com. -- Phil Windley | windley@cs.uidaho.edu Assistant Professor | windley@cheetah.cs.uidaho.edu Department of Computer Science | University of Idaho | Phone: 208.885.6501 Moscow, ID 83843 | Fax: 208.885.6645