src/HOL/Analysis/Fashoda_Theorem.thy
5 months ago Angeliki KoutsoukouArgyraki 2019-01-22 minor tagging updates in 13 theories
5 months ago immler 2019-01-17 subsection is always %important
5 months ago immler 2019-01-17 redo tagging-related changes from a06b204527e6, 0f4d4a13dc16, and a8faf6f15da7
5 months ago immler 2019-01-17 revert to 56acd449da41
5 months ago Angeliki KoutsoukouArgyraki 2019-01-16 updated tagging for 9 theories: Cross3, Determinants, Tagged_Division, Change_of_Vars, Extended_Real_Limits, Fashoda, Finite_Cartesian_Product, Function_Topology, Finite_Product_Measure
6 months ago nipkow 2018-12-28 tuned style and headers
8 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.
14 months ago paulson 2018-04-19 some simpler, cleaner proofs
14 months ago paulson 2018-04-15 various new results on measures, integrals, etc., and some simplified proofs
14 months ago nipkow 2018-04-09 removed dots at the end of (sub)titles
16 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.