| Mon, 15 Aug 2011 10:49:48 -0700 | huffman | Topology_Euclidean_Space.thy: organize section headings | changeset | files |
| Mon, 15 Aug 2011 09:08:17 -0700 | huffman | simplify some proofs | changeset | files |
| 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 |