src/HOL/Auth/ROOT.ML
changeset 6400 1f495d4d922b
parent 6349 f7750d816c21
child 6452 6a1b393ccdc0
     1.1 --- a/src/HOL/Auth/ROOT.ML	Thu Mar 18 10:41:00 1999 +0100
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Thu Mar 18 10:41:33 1999 +0100
     1.3 @@ -22,6 +22,7 @@
     1.4  time_use_thy "Recur";
     1.5  time_use_thy "Yahalom";
     1.6  time_use_thy "Yahalom2";
     1.7 +time_use_thy "Yahalom_Bad";
     1.8  
     1.9  (*Public-key protocols*)
    1.10  time_use_thy "NS_Public_Bad";