src/HOL/Mirabelle/Mirabelle_Test.thy
changeset 41358 d5e91925916e
parent 40634 dc124a486f94
child 47477 3fabf352243e
     1.1 --- a/src/HOL/Mirabelle/Mirabelle_Test.thy	Tue Dec 21 10:18:56 2010 +0100
     1.2 +++ b/src/HOL/Mirabelle/Mirabelle_Test.thy	Tue Dec 21 10:24:56 2010 +0100
     1.3 @@ -13,7 +13,6 @@
     1.4    "Tools/mirabelle_refute.ML"
     1.5    "Tools/mirabelle_sledgehammer.ML"
     1.6    "Tools/mirabelle_sledgehammer_filter.ML"
     1.7 -  "Tools/sledgehammer_tactic.ML"
     1.8  begin
     1.9  
    1.10  text {*