compile
authorblanchet
Thu Dec 09 08:46:04 2010 +0100 (2010-12-09)
changeset 410941dc7652ce404
parent 41093 dfbc8759415f
child 41098 ababba14c965
child 41099 5cf62cefbbb4
compile
src/HOL/Sledgehammer.thy
     1.1 --- a/src/HOL/Sledgehammer.thy	Wed Dec 08 22:18:37 2010 +0100
     1.2 +++ b/src/HOL/Sledgehammer.thy	Thu Dec 09 08:46:04 2010 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  begin
     1.5  
     1.6  setup {*
     1.7 -  Sledgehammer.setup
     1.8 +  Sledgehammer_Provers.setup
     1.9    #> Sledgehammer_Isar.setup
    1.10  *}
    1.11