changeset 37511 | 26afa11a1fb2 |
parent 37509 | f39464d971c4 |
child 37541 | a76ace919f1c |
--- 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 *}