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 |