src/HOL/Analysis/Continuous_Extension.thy
4 weeks ago paulson 2019-03-19 new material about topology, etc.; also fixes for yesterday's
4 weeks ago paulson 2019-03-18 new material;' strengthened material; moved proofs out of Function_Topology in order to lessen its dependencies
3 months ago nipkow 2018-12-28 tuned headers etc, added bib-file
3 months ago nipkow 2018-12-27 tuned headers; ~ -> \<not>
5 months ago nipkow 2018-11-11 tuned
9 months ago immler 2018-07-10 make theorem, corollary, and proposition %important for HOL-Analysis manual
11 months ago wenzelm 2018-05-20 prefer HTTPS;
12 months ago nipkow 2018-04-09 removed dots at the end of (sub)titles
12 months ago immler 2018-04-06 a first shot at tagging for HOL-Analysis manual
14 months ago wenzelm 2018-02-15 more symbols;
18 months ago paulson 2017-10-19 Switching to inverse image and constant_on, plus some new material
21 months ago paulson 2017-07-20 Divided Convex_Euclidean_Space.thy in half, creating new theory Starlike
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-10-02 wenzelm 2016-10-02 updated headers;
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.