changeset 36394 | 1a48d18449d8 |
parent 36377 | b3dce4c715d0 |
child 36569 | 3a29eb7606c3 |
--- a/src/HOL/Sledgehammer.thy Sun Apr 25 11:38:46 2010 +0200 +++ b/src/HOL/Sledgehammer.thy Sun Apr 25 14:40:36 2010 +0200 @@ -105,6 +105,7 @@ 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 *}