src/HOL/Analysis/Embed_Measure.thy
7 months ago haftmann 2018-11-18 removed legacy input syntax
8 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
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
19 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.