src/HOL/Sledgehammer.thy
changeset 37622 b3f572839570
parent 37583 9ce2451647d5
child 38019 e207a64e1e0b
     1.1 --- a/src/HOL/Sledgehammer.thy	Mon Jun 28 18:46:42 2010 +0200
     1.2 +++ b/src/HOL/Sledgehammer.thy	Mon Jun 28 18:47:07 2010 +0200
     1.3 @@ -86,8 +86,6 @@
     1.4  done
     1.5  
     1.6  use "Tools/Sledgehammer/clausifier.ML"
     1.7 -setup Clausifier.setup
     1.8 -
     1.9  use "Tools/Sledgehammer/meson_tactic.ML"
    1.10  setup Meson_Tactic.setup
    1.11