Sun, 22 Feb 1998 14:12:23 +0100 | nipkow | New induction schemas for lists (length and snoc). | file | diff | annotate |
Tue, 16 Dec 1997 17:58:03 +0100 | wenzelm | expandshort; | file | diff | annotate |
Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
Fri, 10 Oct 1997 19:02:28 +0200 | wenzelm | fixed dots; | file | diff | annotate |
Sun, 27 Oct 1996 13:47:02 +0100 | nipkow | Simplifid proofs. | file | diff | annotate |
Tue, 30 Jul 1996 17:33:26 +0200 | berghofe | Classical tactics now use default claset. | 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 |