src/HOL/Mirabelle/Mirabelle_Test.thy
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-05-07 blanchet 2012-05-07 added "try0" tool to Mirabelle
2012-04-24 sultana 2012-04-24 reversed Tools to Actions Mirabelle renaming;
2012-04-14 sultana 2012-04-14 renamed mirabelle Tools directory to Actions, to make consistent with 'usage' description;
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