Wed, 03 Jun 2009 12:24:09 -0700 | huffman | merged | changeset | files |
Wed, 03 Jun 2009 12:13:23 -0700 | huffman | add classes for t0, t1, and t2 spaces | changeset | files |
Wed, 03 Jun 2009 11:22:49 -0700 | huffman | generalize type of islimpt | changeset | files |
Wed, 03 Jun 2009 10:29:11 -0700 | huffman | more [code del] declarations | changeset | files |
Wed, 03 Jun 2009 10:02:59 -0700 | huffman | generalize some constants and lemmas to class topological_space | changeset | files |
Wed, 03 Jun 2009 09:58:11 -0700 | huffman | replace class open with class topo | changeset | files |