| Fri, 31 Aug 2001 16:13:00 +0200 | berghofe | Replaced old derivations by proof terms. | changeset | files |
| Fri, 31 Aug 2001 16:12:15 +0200 | berghofe | Tidied function SELECT_GOAL. | changeset | files |
| Fri, 31 Aug 2001 16:11:20 +0200 | berghofe | Added equality axioms and initialization of proof term package. | changeset | files |