setup Auto Sledgehammer
authorblanchet
Sat Sep 11 10:25:27 2010 +0200 (2010-09-11)
changeset 3932280420a0f2179
parent 39321 23951979a362
child 39323 ce5c6a8b0359
setup Auto Sledgehammer
src/HOL/Sledgehammer.thy
     1.1 --- a/src/HOL/Sledgehammer.thy	Sat Sep 11 10:24:57 2010 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Sat Sep 11 10:25:27 2010 +0200
     1.3 @@ -102,6 +102,7 @@
     1.4  
     1.5  use "Tools/Sledgehammer/metis_clauses.ML"
     1.6  use "Tools/Sledgehammer/metis_tactics.ML"
     1.7 +setup Metis_Tactics.setup
     1.8  
     1.9  use "Tools/Sledgehammer/sledgehammer_util.ML"
    1.10  use "Tools/Sledgehammer/sledgehammer_filter.ML"
    1.11 @@ -111,6 +112,6 @@
    1.12  setup Sledgehammer.setup
    1.13  use "Tools/Sledgehammer/sledgehammer_minimize.ML"
    1.14  use "Tools/Sledgehammer/sledgehammer_isar.ML"
    1.15 -setup Metis_Tactics.setup
    1.16 +setup Sledgehammer_Isar.setup
    1.17  
    1.18  end