src/HOL/Mirabelle/Actions/mirabelle_sledgehammer_filter.ML
2012-04-14 sultana 2012-04-14 renamed mirabelle Tools directory to Actions, to make consistent with 'usage' description;