src/HOL/Sledgehammer.thy
changeset 42616 92715b528e78
parent 41094 1dc7652ce404
child 43085 0a2f5b86bdd7
     1.1 --- a/src/HOL/Sledgehammer.thy	Mon May 02 13:29:47 2011 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Mon May 02 16:33:21 2011 +0200
     1.3 @@ -19,9 +19,6 @@
     1.4       "Tools/Sledgehammer/sledgehammer_isar.ML"
     1.5  begin
     1.6  
     1.7 -setup {*
     1.8 -  Sledgehammer_Provers.setup
     1.9 -  #> Sledgehammer_Isar.setup
    1.10 -*}
    1.11 +setup {* Sledgehammer_Isar.setup *}
    1.12  
    1.13  end