src/HOL/Auth/ROOT.ML
changeset 7239 26685edee372
parent 6452 6a1b393ccdc0
child 9000 c20d58286a51
     1.1 --- a/src/HOL/Auth/ROOT.ML	Tue Aug 17 22:13:23 1999 +0200
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Tue Aug 17 22:14:02 1999 +0200
     1.3 @@ -10,7 +10,6 @@
     1.4  
     1.5  set proof_timing;
     1.6  goals_limit := 1;
     1.7 -HOL_quantifiers := false;
     1.8  
     1.9  (*Shared-key protocols*)
    1.10  time_use_thy "NS_Shared";