[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
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