4 months ago haftmann 2019-01-31 proper congruence rule for image operator
5 months ago paulson 2019-01-21 new material about summations and powers, along with some tweaks
5 months ago wenzelm 2019-01-01 more antiquotations -- less LaTeX macros;
7 months ago haftmann 2018-11-18 removed legacy input syntax
7 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
8 months ago Manuel Eberl 2018-10-22 Tagged some theories in HOL-Analysis
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
18 months ago nipkow 2017-12-21 tuned op's
2016-09-16 hoelzl 2016-09-16 move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.