src/HOL/Analysis/Embed_Measure.thy
2 months ago haftmann 2019-01-31 proper congruence rule for image operator
3 months ago paulson 2019-01-21 new material about summations and powers, along with some tweaks
3 months ago wenzelm 2019-01-01 more antiquotations -- less LaTeX macros;
5 months ago haftmann 2018-11-18 removed legacy input syntax
5 months ago haftmann 2018-11-08 removed relics of ASCII syntax for indexed big operators
6 months ago Manuel Eberl 2018-10-22 Tagged some theories in HOL-Analysis
15 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
16 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.