changeset 47891 | e3627a83b114 |
parent 47730 | 15f4309bb9eb |
child 48891 | c0eafbd55de3 |
--- a/src/HOL/Mirabelle/Mirabelle_Test.thy Mon May 07 12:20:55 2012 +0200 +++ b/src/HOL/Mirabelle/Mirabelle_Test.thy Mon May 07 12:20:55 2012 +0200 @@ -13,6 +13,7 @@ "Tools/mirabelle_refute.ML" "Tools/mirabelle_sledgehammer.ML" "Tools/mirabelle_sledgehammer_filter.ML" + "Tools/mirabelle_try0.ML" begin text {*