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