src/HOL/Auth/ROOT.ML
changeset 5053 75d20f367e94
parent 4449 df30e75f670f
child 5359 bd539b72d484
     1.1 --- a/src/HOL/Auth/ROOT.ML	Thu Jun 18 18:35:07 1998 +0200
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Fri Jun 19 10:34:33 1998 +0200
     1.3 @@ -14,6 +14,7 @@
     1.4  
     1.5  (*Shared-key protocols*)
     1.6  time_use_thy "NS_Shared";
     1.7 +time_use_thy "Kerberos_BAN";
     1.8  time_use_thy "OtwayRees";
     1.9  time_use_thy "OtwayRees_AN";
    1.10  time_use_thy "OtwayRees_Bad";