Fri, 31 Aug 2001 16:22:48 +0200 | berghofe | Added new argument to use_dir for derivation kind. | changeset | files |
Fri, 31 Aug 2001 16:22:02 +0200 | berghofe | Removed tag_assumption. | changeset | files |
Fri, 31 Aug 2001 16:21:31 +0200 | berghofe | Tuned naming of theorems. | changeset | files |
Fri, 31 Aug 2001 16:20:19 +0200 | berghofe | Added functions for printing primitive proof terms. | changeset | files |
Fri, 31 Aug 2001 16:17:52 +0200 | berghofe | Tuned function extend_lexicon. | changeset | files |
Fri, 31 Aug 2001 16:17:05 +0200 | berghofe | Initial revision of tools for proof terms. | changeset | files |
Fri, 31 Aug 2001 16:15:36 +0200 | berghofe | Now obsolete; replaced by LF style proof terms. | changeset | files |