| Tue, 10 Oct 2017 17:15:37 +0100 | paulson | Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems | changeset | files |
| Tue, 10 Oct 2017 14:03:51 +0100 | paulson | Session HOL-Analysis: Moebius functions and the Riemann mapping theorem. | changeset | files |
| Mon, 09 Oct 2017 22:08:05 +0200 | wenzelm | merged | changeset | files |
| Mon, 09 Oct 2017 22:03:05 +0200 | wenzelm | tuned: less oo-non-sense; | changeset | files |