--- a/src/HOL/Auth/ROOT.ML Fri Aug 08 15:05:11 2003 +0200
+++ b/src/HOL/Auth/ROOT.ML Tue Aug 12 13:35:03 2003 +0200
@@ -21,6 +21,8 @@
time_use_thy "Yahalom";
time_use_thy "Yahalom2";
time_use_thy "Yahalom_Bad";
+time_use_thy "ZhouGollmann";
+
(*Public-key protocols*)
time_use_thy "NS_Public_Bad";