| Mon, 02 May 2011 16:33:21 +0200 | wenzelm | added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory; | file | diff | annotate |
| Wed, 23 Mar 2011 10:06:27 +0100 | blanchet | move "TPTP" wrapper and "Sledgehammer as a tactic" to "HOL/ex" | 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 |
| 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 |