
diff -r 6d9923e8d208 -r 26afa11a1fb2 src/HOL/Sledgehammer.thy
--- a/src/HOL/Sledgehammer.thy	Tue Jun 22 23:54:16 2010 +0200
+++ b/src/HOL/Sledgehammer.thy	Wed Jun 23 09:40:06 2010 +0200
@@ -110,7 +110,6 @@
 setup ATP_Systems.setup
 use "Tools/Sledgehammer/sledgehammer_fact_minimizer.ML"
 use "Tools/Sledgehammer/sledgehammer_isar.ML"
-setup Sledgehammer_Isar.setup
 
 
 subsection {* The MESON prover *}




