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