| Tue, 05 Mar 2013 17:10:49 +0100 | traytel | extended stream library | changeset | files |
| Tue, 05 Mar 2013 15:43:22 +0100 | hoelzl | generalized lemmas in Extended_Real_Limits | changeset | files |
| Tue, 05 Mar 2013 15:43:21 +0100 | hoelzl | eventually nhds represented using sequentially | changeset | files |
| Tue, 05 Mar 2013 15:43:20 +0100 | hoelzl | generalized compact_Times to topological_space | changeset | files |
| Tue, 05 Mar 2013 15:43:19 +0100 | hoelzl | move lemma Inf to usage point | changeset | files |
| Tue, 05 Mar 2013 15:43:18 +0100 | hoelzl | tuned proof of Edelstein fixed point theorem (use continuity of dist and attains_sup) | changeset | files |
| Tue, 05 Mar 2013 15:43:17 +0100 | hoelzl | tuned proofs (used continuity of infdist, dist and continuous_attains_sup) | changeset | files |