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 |