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 |