--- a/src/HOL/Real.thy Thu Aug 28 00:40:37 2014 +0200
+++ b/src/HOL/Real.thy Thu Aug 28 00:40:37 2014 +0200
@@ -2180,8 +2180,6 @@
subsection {* Setup for SMT *}
-ML_file "Tools/SMT/smt_real.ML"
-setup SMT_Real.setup
ML_file "Tools/SMT2/smt2_real.ML"
ML_file "Tools/SMT2/z3_new_real.ML"