Sat, 14 Apr 2012 23:52:17 +0100 |
renamed mirabelle Tools directory to Actions, to make consistent with 'usage' description;
|
file | diff | annotate |
Mon, 02 May 2011 16:33:21 +0200 |
added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory;
|
file | diff | annotate |
Wed, 23 Mar 2011 10:06:27 +0100 |
move "TPTP" wrapper and "Sledgehammer as a tactic" to "HOL/ex"
|
file | diff | annotate |
Tue, 21 Dec 2010 10:24:56 +0100 |
renamed "sledgehammer_tactic.ML" to "sledgehammer_tactics.ML" (cf. module name);
|
file | diff | annotate |
Mon, 06 Sep 2010 13:06:27 +0200 |
some results of concurrency code inspection;
|
file | diff | annotate |
Sat, 12 Sep 2009 16:30:48 +0200 |
standard headers and text sections;
|
file | diff | annotate |
Wed, 02 Sep 2009 16:23:53 +0200 |
moved Mirabelle from HOL/Tools to HOL,
|
file | diff | annotate | base |