src/HOL/Auth/ROOT.ML
changeset 6452 6a1b393ccdc0
parent 6400 1f495d4d922b
child 7239 26685edee372
     1.1 --- a/src/HOL/Auth/ROOT.ML	Tue Apr 20 14:32:48 1999 +0200
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Tue Apr 20 14:33:48 1999 +0200
     1.3 @@ -15,6 +15,7 @@
     1.4  (*Shared-key protocols*)
     1.5  time_use_thy "NS_Shared";
     1.6  time_use_thy "Kerberos_BAN";
     1.7 +time_use_thy "KerberosIV";
     1.8  time_use_thy "OtwayRees";
     1.9  time_use_thy "OtwayRees_AN";
    1.10  time_use_thy "OtwayRees_Bad";