berghofe [Fri, 31 Aug 2001 16:20:19 +0200] rev 11524
Added functions for printing primitive proof terms.
berghofe [Fri, 31 Aug 2001 16:17:52 +0200] rev 11523
Tuned function extend_lexicon.
berghofe [Fri, 31 Aug 2001 16:17:05 +0200] rev 11522
Initial revision of tools for proof terms.
berghofe [Fri, 31 Aug 2001 16:15:36 +0200] rev 11521
Now obsolete; replaced by LF style proof terms.
berghofe [Fri, 31 Aug 2001 16:14:34 +0200] rev 11520
Initial version of generic code generator.
berghofe [Fri, 31 Aug 2001 16:13:36 +0200] rev 11519
New implementation of LF style proof terms.
berghofe [Fri, 31 Aug 2001 16:13:00 +0200] rev 11518
Replaced old derivations by proof terms.
berghofe [Fri, 31 Aug 2001 16:12:15 +0200] rev 11517
Tidied function SELECT_GOAL.
berghofe [Fri, 31 Aug 2001 16:11:20 +0200] rev 11516
Added equality axioms and initialization of proof term package.
berghofe [Fri, 31 Aug 2001 16:10:03 +0200] rev 11515
Added setup for code generator.