Tue, 21 Dec 2010 10:24:56 +0100 | blanchet | renamed "sledgehammer_tactic.ML" to "sledgehammer_tactics.ML" (cf. module name); | changeset | files |
Tue, 21 Dec 2010 10:18:56 +0100 | blanchet | added "sledgehammer_tac" as possible reconstructor in Mirabelle | changeset | files |
Tue, 21 Dec 2010 12:48:47 +0100 | wenzelm | merged | changeset | files |