Tue, 16 Aug 2011 21:13:52 +0200 use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable;
wenzelm [Tue, 16 Aug 2011 21:13:52 +0200] rev 44222
use full .thy file name as node name, which makes MiscUtilities.resolveSymlinks/File.getCanonicalPath more predictable; more robust treatment of node dependencies; misc tuning;
Tue, 16 Aug 2011 12:06:49 +0200 omit MiscUtilities.resolveSymlinks for now -- odd effects on case-insensible file-system;
wenzelm [Tue, 16 Aug 2011 12:06:49 +0200] rev 44221
omit MiscUtilities.resolveSymlinks for now -- odd effects on case-insensible file-system;
Mon, 15 Aug 2011 19:42:52 -0700 merged
huffman [Mon, 15 Aug 2011 19:42:52 -0700] rev 44220
merged
Mon, 15 Aug 2011 18:35:36 -0700 generalize lemmas open_Collect_less, closed_Collect_le, closed_Collect_eq to class topological_space
huffman [Mon, 15 Aug 2011 18:35:36 -0700] rev 44219
generalize lemmas open_Collect_less, closed_Collect_le, closed_Collect_eq to class topological_space
Mon, 15 Aug 2011 16:48:05 -0700 add lemma tendsto_compose
huffman [Mon, 15 Aug 2011 16:48:05 -0700] rev 44218
add lemma tendsto_compose
Mon, 15 Aug 2011 16:18:13 -0700 remove extraneous subsection heading
huffman [Mon, 15 Aug 2011 16:18:13 -0700] rev 44217
remove extraneous subsection heading
Mon, 15 Aug 2011 15:11:55 -0700 generalized lemma closed_Collect_eq
huffman [Mon, 15 Aug 2011 15:11:55 -0700] rev 44216
generalized lemma closed_Collect_eq
Mon, 15 Aug 2011 14:50:24 -0700 remove duplicate lemma disjoint_iff
huffman [Mon, 15 Aug 2011 14:50:24 -0700] rev 44215
remove duplicate lemma disjoint_iff
Mon, 15 Aug 2011 14:29:17 -0700 Library/Product_Vector.thy: class instances for t0_space, t1_space, and t2_space
huffman [Mon, 15 Aug 2011 14:29:17 -0700] rev 44214
Library/Product_Vector.thy: class instances for t0_space, t1_space, and t2_space
Mon, 15 Aug 2011 14:09:39 -0700 add lemmas open_Collect_less, closed_Collect_le, closed_Collect_eq;
huffman [Mon, 15 Aug 2011 14:09:39 -0700] rev 44213
add lemmas open_Collect_less, closed_Collect_le, closed_Collect_eq; simplify and generalize some proofs;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip