| 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:28:46 +0100 | paulson | new theorem analz_isSymKey_Decrypt | file | diff | annotate |
| Wed, 14 Feb 2001 12:22:49 +0100 | paulson | not_bad_tac is obsolete | 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 |