src/HOL/Auth/ROOT.ML
changeset 2091 644104f85d14
parent 1995 c80e58e78d9c
child 2123 959f791b6f0f
     1.1 --- a/src/HOL/Auth/ROOT.ML	Thu Oct 10 18:40:34 1996 +0200
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Fri Oct 11 10:52:54 1996 +0200
     1.3 @@ -14,5 +14,6 @@
     1.4  use_thy "Shared";
     1.5  use_thy "NS_Shared";
     1.6  use_thy "OtwayRees";
     1.7 +use_thy "OtwayRees_AN";
     1.8  use_thy "Yahalom";
     1.9