changeset 41407 | 2878845bc549 |
parent 41358 | d5e91925916e |
child 41413 | 64cd30d6b0b8 |
--- a/src/HOL/IsaMakefile Tue Dec 28 18:28:52 2010 +0100 +++ b/src/HOL/IsaMakefile Wed Dec 29 12:16:49 2010 +0100 @@ -1314,6 +1314,7 @@ Mirabelle/Tools/mirabelle_quickcheck.ML \ Mirabelle/Tools/mirabelle_refute.ML \ Mirabelle/Tools/mirabelle_sledgehammer.ML \ + Mirabelle/Tools/mirabelle_sledgehammer_filter.ML \ Mirabelle/Tools/sledgehammer_tactics.ML @$(ISABELLE_TOOL) usedir $(OUT)/HOL Mirabelle