src/HOL/Sledgehammer.thy
changeset 36394 1a48d18449d8
parent 36377 b3dce4c715d0
child 36569 3a29eb7606c3
     1.1 --- a/src/HOL/Sledgehammer.thy	Sun Apr 25 11:38:46 2010 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Sun Apr 25 14:40:36 2010 +0200
     1.3 @@ -105,6 +105,7 @@
     1.4  setup ATP_Systems.setup
     1.5  use "Tools/Sledgehammer/sledgehammer_fact_minimizer.ML"
     1.6  use "Tools/Sledgehammer/sledgehammer_isar.ML"
     1.7 +setup Sledgehammer_Isar.setup
     1.8  
     1.9  
    1.10  subsection {* The MESON prover *}