bulwahn [Mon, 22 Nov 2010 10:41:55 +0100] rev 40635
ported sledgehammer_tactic to current development version
bulwahn [Mon, 22 Nov 2010 10:41:54 +0100] rev 40634
adding dependencies to IsaMakefile; adding sledgehammer_tactic in Mirabelle_Test
bulwahn [Mon, 22 Nov 2010 10:41:53 +0100] rev 40633
adding files to use sledgehammer as a tactic for non-interactive use
bulwahn [Mon, 22 Nov 2010 10:41:52 +0100] rev 40632
adding birthday paradoxon from some abandoned drawer
bulwahn [Mon, 22 Nov 2010 10:41:51 +0100] rev 40631
adding extensional function spaces to the FuncSet library theory
haftmann [Mon, 22 Nov 2010 09:19:34 +0100] rev 40630
tuned
haftmann [Mon, 22 Nov 2010 09:18:25 +0100] rev 40629
tuned
wenzelm [Sat, 20 Nov 2010 01:07:16 +0100] rev 40628
updated explode vs. raw_explode;
wenzelm [Sat, 20 Nov 2010 00:53:26 +0100] rev 40627
renamed raw "explode" function to "raw_explode" to emphasize its meaning;
wenzelm [Fri, 19 Nov 2010 23:48:07 +0100] rev 40626
total Symbol.explode (cf. 1050315f6ee2);
wenzelm [Fri, 19 Nov 2010 21:14:12 +0100] rev 40625
do not export Thy_Load.required, to avoid confusion about the interface;
huffman [Fri, 19 Nov 2010 09:07:23 -0800] rev 40624
merged
huffman [Wed, 17 Nov 2010 16:13:33 -0800] rev 40623
declare adm_chfin [simp]
huffman [Wed, 17 Nov 2010 16:05:18 -0800] rev 40622
add lemma cont_fun; remove unused lemma monofun_app