| Sun, 14 Aug 2011 13:04:57 -0700 | huffman | generalize lemma convergent_subseq_convergent | changeset | files |
| 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 |
| Tue, 16 Aug 2011 07:17:15 +0900 | Cezary Kaliszyk | Quotient Package: make quotient_type work with separate set type | changeset | files |
| Mon, 15 Aug 2011 22:31:17 +0200 | wenzelm | updated README; | changeset | files |
| Mon, 15 Aug 2011 21:54:32 +0200 | wenzelm | touch descendants of edited nodes; | changeset | files |