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