src/HOL/Auth/ROOT.ML

--- a/src/HOL/Auth/ROOT.ML	Thu Oct 10 18:40:34 1996 +0200
+++ b/src/HOL/Auth/ROOT.ML	Fri Oct 11 10:52:54 1996 +0200
@@ -14,5 +14,6 @@
 use_thy "Shared";
 use_thy "NS_Shared";
 use_thy "OtwayRees";
+use_thy "OtwayRees_AN";
 use_thy "Yahalom";