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