| Tue, 21 Dec 2010 10:24:56 +0100 | blanchet | renamed "sledgehammer_tactic.ML" to "sledgehammer_tactics.ML" (cf. module name); | file | diff | annotate |
| Mon, 22 Nov 2010 10:41:54 +0100 | bulwahn | adding dependencies to IsaMakefile; adding sledgehammer_tactic in Mirabelle_Test | file | diff | annotate |
| Mon, 30 Aug 2010 10:26:17 +0200 | blanchet | added evaluation method for relevance filter | file | diff | annotate |
| Sat, 12 Sep 2009 16:30:48 +0200 | wenzelm | standard headers and text sections; | file | diff | annotate |
| Fri, 04 Sep 2009 13:57:56 +0200 | boehmes | tuned | file | diff | annotate | base |