Mon, 22 Nov 2010 10:41:51 +0100 adding extensional function spaces to the FuncSet library theory
bulwahn [Mon, 22 Nov 2010 10:41:51 +0100] rev 40631
adding extensional function spaces to the FuncSet library theory
Mon, 22 Nov 2010 09:19:34 +0100 tuned
haftmann [Mon, 22 Nov 2010 09:19:34 +0100] rev 40630
tuned
Mon, 22 Nov 2010 09:18:25 +0100 tuned
haftmann [Mon, 22 Nov 2010 09:18:25 +0100] rev 40629
tuned
Sat, 20 Nov 2010 01:07:16 +0100 updated explode vs. raw_explode;
wenzelm [Sat, 20 Nov 2010 01:07:16 +0100] rev 40628
updated explode vs. raw_explode;
Sat, 20 Nov 2010 00:53:26 +0100 renamed raw "explode" function to "raw_explode" to emphasize its meaning;
wenzelm [Sat, 20 Nov 2010 00:53:26 +0100] rev 40627
renamed raw "explode" function to "raw_explode" to emphasize its meaning;
Fri, 19 Nov 2010 23:48:07 +0100 total Symbol.explode (cf. 1050315f6ee2);
wenzelm [Fri, 19 Nov 2010 23:48:07 +0100] rev 40626
total Symbol.explode (cf. 1050315f6ee2);
Fri, 19 Nov 2010 21:14:12 +0100 do not export Thy_Load.required, to avoid confusion about the interface;
wenzelm [Fri, 19 Nov 2010 21:14:12 +0100] rev 40625
do not export Thy_Load.required, to avoid confusion about the interface;
Fri, 19 Nov 2010 09:07:23 -0800 merged
huffman [Fri, 19 Nov 2010 09:07:23 -0800] rev 40624
merged
Wed, 17 Nov 2010 16:13:33 -0800 declare adm_chfin [simp]
huffman [Wed, 17 Nov 2010 16:13:33 -0800] rev 40623
declare adm_chfin [simp]
Wed, 17 Nov 2010 16:05:18 -0800 add lemma cont_fun; remove unused lemma monofun_app
huffman [Wed, 17 Nov 2010 16:05:18 -0800] rev 40622
add lemma cont_fun; remove unused lemma monofun_app
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip