src/HOL/Auth/ROOT.ML

--- a/src/HOL/Auth/ROOT.ML	Sun Dec 21 08:27:44 2003 +0100
+++ b/src/HOL/Auth/ROOT.ML	Sun Dec 21 18:39:27 2003 +0100
@@ -6,7 +6,6 @@
 Root file for protocol proofs.
 *)
 
-goals_limit := 1;
 set timing;
 
 (*Shared-key protocols*)
@@ -23,7 +22,6 @@
 time_use_thy "Yahalom_Bad";
 time_use_thy "ZhouGollmann";
 
-
 (*Public-key protocols*)
 time_use_thy "NS_Public_Bad";
 time_use_thy "NS_Public";