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