src/HOL/AxClasses/Lattice/ROOT.ML
changeset 7240 a509730e424b
parent 5712 18f1c2501343
child 9000 c20d58286a51
     1.1 --- a/src/HOL/AxClasses/Lattice/ROOT.ML	Tue Aug 17 22:14:02 1999 +0200
     1.2 +++ b/src/HOL/AxClasses/Lattice/ROOT.ML	Tue Aug 17 22:14:08 1999 +0200
     1.3 @@ -7,7 +7,6 @@
     1.4  
     1.5  open AxClass;
     1.6  
     1.7 -reset HOL_quantifiers;
     1.8  reset eta_contract;
     1.9  set show_types;
    1.10  set show_sorts;