| Wed, 12 Feb 1997 18:54:39 +0100 | nipkow | New class "order" and accompanying changes. | file | diff | annotate |
| Mon, 07 Oct 1996 10:28:44 +0200 | paulson | Removed commands made redundant by new one-point rules | file | diff | annotate |
| Thu, 05 Sep 1996 10:29:20 +0200 | paulson | Miniscoping rules are deleted, as these brittle proofs | file | diff | annotate |
| Tue, 30 Jul 1996 17:33:26 +0200 | berghofe | Classical tactics now use default claset. | file | diff | annotate |
| Tue, 23 Apr 1996 16:58:57 +0200 | oheimb | repaired critical proofs depending on the order inside non-confluent SimpSets | file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Sat, 18 Nov 1995 14:55:44 +0100 | nipkow | Half a lexical analyzer generator. | file | diff | annotate |