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
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
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;
huffman [Mon, 15 Aug 2011 12:18:34 -0700] rev 44212
generalize lemma continuous_uniform_limit to class metric_space