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