src/HOL/UNITY/ROOT.ML
changeset 7240 a509730e424b
parent 6818 852f9ed01a53
child 7513 879ae27f5e6f
     1.1 --- a/src/HOL/UNITY/ROOT.ML	Tue Aug 17 22:14:02 1999 +0200
     1.2 +++ b/src/HOL/UNITY/ROOT.ML	Tue Aug 17 22:14:08 1999 +0200
     1.3 @@ -9,7 +9,6 @@
     1.4  writeln"Root file for HOL/UNITY";
     1.5  
     1.6  set proof_timing;
     1.7 -set HOL_quantifiers;
     1.8  
     1.9  time_use_thy "UNITY";
    1.10  time_use_thy "Deadlock";