manli@cs.uh.edu (Man L. Li) (03/28/91)
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. ------------------------------------------------------------------------- Man L. Li (manli@cs.uh.edu) Dept. of Computer Science Univ. of Houston, Houston,TX 77204-3475
windley@cheetah.cs.uidaho.edu (Phil Windley/20000000) (03/30/91)
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