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 |