3 months ago nipkow 2017-12-07 canonical name
4 months ago haftmann 2017-10-30 added lemma
4 months ago paulson 2017-10-30 New results in topology, mostly from HOL Light's
5 months ago paulson 2017-10-19 Switching to inverse image and constant_on, plus some new material
5 months ago paulson 2017-10-10 fixed markup
5 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems