src/HOL/Auth/ROOT.ML
changeset 1995 c80e58e78d9c
parent 1971 30fe5ac5c04e
child 2091 644104f85d14
     1.1 --- a/src/HOL/Auth/ROOT.ML	Fri Sep 13 13:15:48 1996 +0200
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Fri Sep 13 13:16:57 1996 +0200
     1.3 @@ -14,4 +14,5 @@
     1.4  use_thy "Shared";
     1.5  use_thy "NS_Shared";
     1.6  use_thy "OtwayRees";
     1.7 +use_thy "Yahalom";
     1.8