src/HOL/Analysis/Regularity.thy
8 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
8 months ago Angeliki KoutsoukouArgyraki 2018-10-21 tagged 8 theories for the Analysis manual.
13 months ago nipkow 2018-06-06 reorient -> split; documented split
14 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.