src/HOL/Analysis/Fashoda_Theorem.thy
6 months ago nipkow 2018-12-28 tuned style and headers
9 months ago Angeliki KoutsoukouArgyraki 2018-10-21 tagged 8 theories for the Analysis manual.
13 months ago paulson 2018-05-28 more general tidying
14 months ago paulson 2018-04-28 getting rid of more "defer", etc.
15 months ago paulson 2018-04-19 some simpler, cleaner proofs
15 months ago paulson 2018-04-15 various new results on measures, integrals, etc., and some simplified proofs
15 months ago nipkow 2018-04-09 removed dots at the end of (sub)titles
17 months ago paulson 2018-02-19 lots of new material, ultimately related to measure theory
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.