src/HOL/Mirabelle/Mirabelle_Test.thy
2010-12-21 blanchet 2010-12-21 renamed "sledgehammer_tactic.ML" to "sledgehammer_tactics.ML" (cf. module name); use it in "Mirabelle.thy"
2010-11-22 bulwahn 2010-11-22 adding dependencies to IsaMakefile; adding sledgehammer_tactic in Mirabelle_Test
2010-08-30 blanchet 2010-08-30 added evaluation method for relevance filter
2009-09-12 wenzelm 2009-09-12 standard headers and text sections;
2009-09-04 boehmes 2009-09-04 tuned