src/HOL/Auth/KerberosV.thy
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Thu, 28 Sep 2006 23:42:35 +0200 wenzelm replaced syntax/translations by abbreviation;
Wed, 01 Feb 2006 15:22:02 +0100 paulson new and updated protocol proofs by Giamp Bella
less more (0) tip