Sun, 14 Aug 2011 11:44:12 -0700 | huffman | locale-ize some definitions, so perfect_space and heine_borel can inherit from the proper superclasses | changeset | files |
Sun, 14 Aug 2011 10:47:47 -0700 | huffman | locale-ize some constant definitions, so complete_space can inherit from metric_space | changeset | files |
Sun, 14 Aug 2011 10:25:43 -0700 | huffman | generalize constant 'lim' and limit uniqueness theorems to class t2_space | changeset | files |