| Tue, 21 Dec 2010 10:24:56 +0100 | blanchet | renamed "sledgehammer_tactic.ML" to "sledgehammer_tactics.ML" (cf. module name); | file | diff | annotate |
| Mon, 06 Sep 2010 13:06:27 +0200 | wenzelm | some results of concurrency code inspection; | file | diff | annotate |
| Sat, 12 Sep 2009 16:30:48 +0200 | wenzelm | standard headers and text sections; | file | diff | annotate |
| Wed, 02 Sep 2009 16:23:53 +0200 | boehmes | moved Mirabelle from HOL/Tools to HOL, | file | diff | annotate | base |