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 |