src/HOL/Mirabelle/Tools/sledgehammer_tactics.ML
2011-03-13 wenzelm 2011-03-13 tuned headers;
2011-02-10 blanchet 2011-02-10 tuning
2011-02-09 blanchet 2011-02-09 renamed field
2011-01-10 wenzelm 2011-01-10 eliminated Int.toString;
2010-12-21 blanchet 2010-12-21 renamed "sledgehammer_tactic.ML" to "sledgehammer_tactics.ML" (cf. module name); use it in "Mirabelle.thy"