| Tue, 04 May 2010 19:53:57 -0700 | huffman | generalize some lemmas to class t1_space | changeset | files |
| 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 |
| Tue, 04 May 2010 15:44:42 -0700 | huffman | generalize more lemmas about limits | changeset | files |
| Wed, 05 May 2010 00:59:59 +0200 | krauss | repaired comments where SOMEthing went utterly wrong (cf. 2b04504fcb69) | changeset | files |
| Tue, 04 May 2010 13:11:15 -0700 | huffman | merged | changeset | files |
| Tue, 04 May 2010 13:08:56 -0700 | huffman | generalize types of LIMSEQ and LIM; generalize many lemmas | changeset | files |