src/HOL/Real.thy
changeset 58055 625bdd5c70b2
parent 58042 ffa9e39763e3
child 58061 3d060f43accb
     1.1 --- a/src/HOL/Real.thy	Thu Aug 28 00:40:37 2014 +0200
     1.2 +++ b/src/HOL/Real.thy	Thu Aug 28 00:40:37 2014 +0200
     1.3 @@ -2180,8 +2180,6 @@
     1.4  
     1.5  subsection {* Setup for SMT *}
     1.6  
     1.7 -ML_file "Tools/SMT/smt_real.ML"
     1.8 -setup SMT_Real.setup
     1.9  ML_file "Tools/SMT2/smt2_real.ML"
    1.10  ML_file "Tools/SMT2/z3_new_real.ML"
    1.11