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