[comp.sources.wanted] Boyer & Moore's Theorem Prover

mikef@hpsad.HP.COM (Mike Ferrara) (02/24/89)

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