src/HOL/Analysis/Regularity.thy
2 months ago nipkow 2019-01-25 tuned
2 months ago Angeliki KoutsoukouArgyraki 2019-01-24 tagged 5 theories
3 months ago haftmann 2019-01-14 tuned proofs
5 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
6 months ago Angeliki KoutsoukouArgyraki 2018-10-21 tagged 8 theories for the Analysis manual.
10 months ago nipkow 2018-06-06 reorient -> split; documented split
11 months ago nipkow 2018-04-26 new simp modifier: reorient
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.