src/HOL/Analysis/Topology_Euclidean_Space.thy
2016-10-20 hoelzl 2016-10-20 HOL-Probability: move stopping time from AFP/Markov_Models
2016-10-18 paulson 2016-10-18 more from moretop.ml
2016-10-18 hoelzl 2016-10-18 HOL-Analysis: more theorems from Sébastien Gouëzel's Ergodic_Theory
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-10-16 haftmann 2016-10-16 more standardized names
2016-10-10 paulson 2016-10-10 invariance of domain
2016-10-02 wenzelm 2016-10-02 tuned;
2016-09-30 paulson 2016-09-30 new material on paths, etc. Also rationalisation
2016-09-29 hoelzl 2016-09-29 HOL-Analysis: move gauges and (tagged) divisions to its own theory file
2016-09-29 paulson 2016-09-29 more new material
2016-09-27 paulson 2016-09-27 a few new theorems and a renaming
2016-09-22 paulson 2016-09-22 More mainly topological results
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.