Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!nrl-cmf!ukma!gatech!hubcap!ncrcae!ncr-sd!hp-sdd!hplabs!hpda!hpcuhb!hp-ses!hpcea!hpnmdla!hpsad!mikef
From: mikef@hpsad.HP.COM (Mike Ferrara)
Newsgroups: comp.sources.wanted
Subject: Re: Boyer & Moore's Theorem Prover
Message-ID: <720002@hpsad.HP.COM>
Date: 23 Feb 89 23:16:51 GMT
References: <935@wpi.wpi.edu>
Organization: HP Signal Analysis Div - Rohnert Park, CA
Lines: 7


I think I've seen it on rascal.ics.utexas.edu ... 128.83.144.1

-Mike Ferrara
HP Signal Analysis Div
Rohnert Park, CA
mikef@hpsadle.hp.com