Tue, 04 May 2010 19:23:59 -0700 | huffman | simplify definition of t1_space; generalize lemma closed_sing and related lemmas | changeset | files |
Tue, 04 May 2010 18:55:18 -0700 | huffman | generalize some lemmas | changeset | files |
Tue, 04 May 2010 17:37:31 -0700 | huffman | convert comments to 'text' blocks | changeset | files |