wenzelm [Tue, 16 Aug 2011 21:54:06 +0200] rev 44224
tuned message;
wenzelm [Tue, 16 Aug 2011 21:50:53 +0200] rev 44223
more robust treatment of node dependencies in incremental edits;
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;
wenzelm [Tue, 16 Aug 2011 12:06:49 +0200] rev 44221
omit MiscUtilities.resolveSymlinks for now -- odd effects on case-insensible file-system;
huffman [Mon, 15 Aug 2011 19:42:52 -0700] rev 44220
merged
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
huffman [Mon, 15 Aug 2011 16:48:05 -0700] rev 44218
add lemma tendsto_compose
huffman [Mon, 15 Aug 2011 16:18:13 -0700] rev 44217
remove extraneous subsection heading
huffman [Mon, 15 Aug 2011 15:11:55 -0700] rev 44216
generalized lemma closed_Collect_eq
huffman [Mon, 15 Aug 2011 14:50:24 -0700] rev 44215
remove duplicate lemma disjoint_iff