src/HOL/Auth/ROOT.ML
changeset 14145 2e31b8cc8788
parent 13922 75ae4244a596
child 14307 1cbc24648cf7
     1.1 --- a/src/HOL/Auth/ROOT.ML	Fri Aug 08 15:05:11 2003 +0200
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Tue Aug 12 13:35:03 2003 +0200
     1.3 @@ -21,6 +21,8 @@
     1.4  time_use_thy "Yahalom";
     1.5  time_use_thy "Yahalom2";
     1.6  time_use_thy "Yahalom_Bad";
     1.7 +time_use_thy "ZhouGollmann";
     1.8 +
     1.9  
    1.10  (*Public-key protocols*)
    1.11  time_use_thy "NS_Public_Bad";