changeset 41358 | d5e91925916e |
parent 41286 | 3d7685a4a5ff |
child 41407 | 2878845bc549 |
--- a/src/HOL/IsaMakefile Tue Dec 21 10:18:56 2010 +0100 +++ b/src/HOL/IsaMakefile Tue Dec 21 10:24:56 2010 +0100 @@ -1314,7 +1314,7 @@ Mirabelle/Tools/mirabelle_quickcheck.ML \ Mirabelle/Tools/mirabelle_refute.ML \ Mirabelle/Tools/mirabelle_sledgehammer.ML \ - Mirabelle/Tools/sledgehammer_tactic.ML + Mirabelle/Tools/sledgehammer_tactics.ML @$(ISABELLE_TOOL) usedir $(OUT)/HOL Mirabelle