--- a/src/HOL/Auth/ROOT.ML Thu Jun 18 18:35:07 1998 +0200
+++ b/src/HOL/Auth/ROOT.ML Fri Jun 19 10:34:33 1998 +0200
@@ -14,6 +14,7 @@
(*Shared-key protocols*)
time_use_thy "NS_Shared";
+time_use_thy "Kerberos_BAN";
time_use_thy "OtwayRees";
time_use_thy "OtwayRees_AN";
time_use_thy "OtwayRees_Bad";