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