| Tue, 10 Oct 2017 22:18:58 +0100 | paulson | fixed markup | file | diff | annotate |
| 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 | file | diff | annotate |