| 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 |