src/HOL/Auth/KerberosIV.ML
Tue, 17 Aug 1999 22:14:02 +0200 wenzelm HOL_quantifiers;
Tue, 20 Apr 1999 14:33:48 +0200 paulson addition of Kerberos IV example
less more (0) tip