src/HOL/Auth/ROOT.ML

--- a/src/HOL/Auth/ROOT.ML	Fri Aug 21 15:56:12 1998 +0200
+++ b/src/HOL/Auth/ROOT.ML	Fri Aug 21 16:14:34 1998 +0200
@@ -11,6 +11,7 @@
 writeln"Root file for HOL/Auth";
 set proof_timing;
 goals_limit := 1;
+HOL_quantifiers := false;
 
 (*Shared-key protocols*)
 time_use_thy "NS_Shared";