| Date: | Mon Nov 27 15:34:34 1992 | |
| Subject: | Theorem Prover/Reason maintenance System | |
| From: | Rudi Lutz | |
| Volume-ID: | 921127.07 |
Does anyone out there have Pop-11 code for a theorem prover/reason maintenance
system that they would be willing to give me? All use will be fully
acknowledged of course!
Thanks a lot
Rudi
|