| Wed, 23 Sep 1998 10:03:32 +0200 | paulson | deleted needless parentheses | file | diff | annotate |
| Fri, 31 Jul 1998 10:48:42 +0200 | paulson | Removal of obsolete "open" commands from heads of .ML files | file | diff | annotate |
| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Wed, 26 Nov 1997 17:26:12 +0100 | paulson | Tidying and modification to cope with iffCE | file | diff | annotate |
| Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Tue, 10 Sep 1996 20:10:29 +0200 | nipkow | Converted proofs to use default clasets. | file | diff | annotate |
| Tue, 07 May 1996 18:17:52 +0200 | paulson | Removal of special syntax for -a-> and -b-> | file | diff | annotate |
| Sat, 27 Apr 1996 18:49:21 +0200 | nipkow | Arithemtic and boolean expressions are now in a separate theory. | file | diff | annotate |