Sun, 13 Mar 2011 22:55:50 +0100 | wenzelm | tuned headers; | file | diff | annotate |
Thu, 10 Feb 2011 17:18:52 +0100 | blanchet | tuning | file | diff | annotate |
Wed, 09 Feb 2011 17:18:58 +0100 | blanchet | renamed field | file | diff | annotate |
Mon, 10 Jan 2011 15:45:46 +0100 | wenzelm | eliminated Int.toString; | file | diff | annotate |
Tue, 21 Dec 2010 10:24:56 +0100 | blanchet | renamed "sledgehammer_tactic.ML" to "sledgehammer_tactics.ML" (cf. module name); | file | diff | annotate | base |