src/HOL/Analysis/Path_Connected.thy
2017-01-17 wenzelm 2017-01-17 isabelle update_cartouches -c -t;
2017-01-05 paulson 2017-01-05 New theory of arcwise connected sets and other new material
2017-01-05 paulson 2017-01-05 New material about path connectedness, etc.
2016-10-25 paulson 2016-10-25 more new material
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-10-10 paulson 2016-10-10 invariance of domain
2016-10-03 paulson 2016-10-03 new theorems including the theory FurtherTopology
2016-10-01 Lars Hupel 2016-10-01 repair LaTeX
2016-09-30 hoelzl 2016-09-30 HOL-Analysis: fix latex generation
2016-09-30 hoelzl 2016-09-30 HOL-Analysis: move Continuum_Not_Denumerable from Library
2016-09-30 paulson 2016-09-30 new material on paths, etc. Also rationalisation
2016-09-29 paulson 2016-09-29 more new material
2016-09-21 paulson 2016-09-21 new material about topological concepts, etc
2016-09-15 paulson 2016-09-15 lots of new results about topology, affine dimension etc
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.