changeset 38892 | eccc9e2a6412 |
parent 32564 | 378528d2f7eb |
child 40634 | dc124a486f94 |
--- a/src/HOL/Mirabelle/Mirabelle_Test.thy Mon Aug 30 09:41:59 2010 +0200 +++ b/src/HOL/Mirabelle/Mirabelle_Test.thy Mon Aug 30 10:26:17 2010 +0200 @@ -12,6 +12,7 @@ "Tools/mirabelle_quickcheck.ML" "Tools/mirabelle_refute.ML" "Tools/mirabelle_sledgehammer.ML" + "Tools/mirabelle_sledgehammer_filter.ML" begin text {*