src/HOL/Analysis/Interval_Integral.thy
3 months ago immler 2019-01-17 subsection is always %important
3 months ago immler 2019-01-17 redo tagging-related changes from a06b204527e6, 0f4d4a13dc16, and a8faf6f15da7
3 months ago immler 2019-01-17 revert to 56acd449da41
3 months ago Angeliki KoutsoukouArgyraki 2019-01-17 more tagging
6 months ago Angeliki KoutsoukouArgyraki 2018-10-21 tagged 8 theories for the Analysis manual.
9 months ago paulson 2018-07-15 de-applying and meta-quantifying
9 months ago paulson 2018-06-28 Incorporating new/strengthened proofs from Library and AFP entries
10 months ago nipkow 2018-06-06 reorient -> split; documented split
11 months ago paulson 2018-05-06 more tidying
11 months ago paulson 2018-05-06 starting to tidy up Interval_Integral.thy
12 months ago nipkow 2018-04-26 new simp modifier: reorient
12 months ago paulson 2018-04-11 replacement of set integral abbreviations by actual definitions!
22 months ago paulson 2017-06-22 New theorems and much tidying up of the old ones
2016-09-23 hoelzl 2016-09-23 move absolutely_integrable_on to Equivalence_Lebesgue_Henstock_Integration, now based on the Lebesgue integral
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.