src/HOL/Auth/KerberosIV.ML
1999-09-07 wenzelm 1999-09-07 isatool expandshort;
1999-09-06 oheimb 1999-09-06 added theorems le_maxI1 and le_maxI2, also in claset
1999-08-17 wenzelm 1999-08-17 HOL_quantifiers;
1999-04-20 paulson 1999-04-20 addition of Kerberos IV example