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