| 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 |
| Fri, 31 Aug 2001 16:10:03 +0200 | berghofe | Added setup for code generator. | changeset | files |
| Fri, 31 Aug 2001 16:09:25 +0200 | berghofe | Added function unique_strings. | changeset | files |