| Fri, 27 Apr 2001 17:16:21 +0200 | paulson | better treatment of methods: uses Method.ctxt_args to refer to current | file | diff | annotate |
| Thu, 29 Mar 2001 10:44:37 +0200 | paulson | misc tidying; changing the predicate isSymKey to the set symKeys | file | diff | annotate |
| Thu, 22 Mar 2001 10:29:26 +0100 | paulson | new theorem analz_Decrypt' | file | diff | annotate |
| Tue, 27 Feb 2001 16:13:23 +0100 | paulson | Some X-symbols for <notin>, <noteq>, <forall>, <exists> | file | diff | annotate |
| Tue, 13 Feb 2001 16:02:53 +0100 | paulson | partial conversion to Isar script style in HOL/Auth removes some .ML files | file | diff | annotate |