src/HOL/Auth/KerberosIV.thy
Sat, 17 Aug 2002 14:55:08 +0200 paulson tidying of Isar scripts
Sat, 06 Oct 2001 00:02:46 +0200 wenzelm * sane numerals (stage 2): plain "num" syntax (removed "#");
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
Mon, 06 Aug 2001 15:46:20 +0200 paulson Changed 1 to 1' (= Suc 0)
Tue, 27 Feb 2001 16:13:23 +0100 paulson Some X-symbols for <notin>, <noteq>, <forall>, <exists>
Tue, 20 Apr 1999 14:33:48 +0200 paulson addition of Kerberos IV example
less more (0) tip