| Mon, 30 Oct 2017 16:02:59 +0000 | paulson | New results in topology, mostly from HOL Light's moretop.ml | file | diff | annotate |
| Thu, 19 Oct 2017 17:16:01 +0100 | paulson | Switching to inverse image and constant_on, plus some new material | file | diff | annotate |
| 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 |