Xref: utzoo comp.ai:5388 comp.lang.lisp:2619 comp.lang.lisp.x:55 comp.theory:153 sci.math:9171 sci.math.symbolic:1083
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ncar!boulder!ccncsu!handel.CS.ColoState.Edu!crussell
From: crussell@handel.CS.ColoState.Edu (earl)
Newsgroups: comp.ai,comp.lang.lisp,comp.lang.lisp.x,comp.theory,sci.math,sci.math.symbolic
Subject: Re: Summary of replies for PD theorem prover
Message-ID: <3607@ccncsu.ColoState.EDU>
Date: 7 Jan 90 03:53:59 GMT
References: <647@uncle.UUCP>
Sender: news@ccncsu.ColoState.EDU
Reply-To: crussell@handel.UUCP (earl)
Followup-To: comp.ai
Organization: Colorado State University, Fort Collins, CO  80523
Lines: 3



   test!