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