| Tue, 07 Sep 1999 10:40:58 +0200 | wenzelm | isatool expandshort; | file | diff | annotate |
| Fri, 27 Nov 1998 17:00:30 +0100 | nipkow | At last: linear arithmetic for nat! | file | diff | annotate |
| Wed, 23 Sep 1998 10:03:32 +0200 | paulson | deleted needless parentheses | file | diff | annotate |
| Tue, 15 Sep 1998 15:10:38 +0200 | paulson | From Compl(A) to -A | file | diff | annotate |
| Fri, 11 Sep 1998 16:25:40 +0200 | paulson | fixed PROOF FAILED | file | diff | annotate |
| Tue, 08 Sep 1998 15:17:11 +0200 | paulson | Got rid of not_Says_to_self and most uses of ~= in definitions and theorems | file | diff | annotate |
| Wed, 02 Sep 1998 10:35:11 +0200 | paulson | small simplification to not_Says_to_self | file | diff | annotate |
| Fri, 21 Aug 1998 16:14:34 +0200 | paulson | Tidying | file | diff | annotate |
| Thu, 20 Aug 1998 16:37:18 +0200 | paulson | tidied | 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 |
| Thu, 02 Jul 1998 17:48:11 +0200 | paulson | Deleted leading parameters thanks to new Goal command | file | diff | annotate |
| Wed, 24 Jun 1998 11:24:52 +0200 | paulson | Ran isatool fixgoal | file | diff | annotate |
| Mon, 22 Jun 1998 15:49:29 +0200 | paulson | simplified and tidied the proofs | file | diff | annotate |
| Fri, 19 Jun 1998 10:34:33 +0200 | paulson | New example Kerberos_BAN by G Bella | file | diff | annotate |