src/HOL/Analysis/Interval_Integral.thy
11 months ago paulson 2018-06-28 Incorporating new/strengthened proofs from Library and AFP entries
12 months ago nipkow 2018-06-06 reorient -> split; documented split
13 months ago paulson 2018-05-06 more tidying
13 months ago paulson 2018-05-06 starting to tidy up Interval_Integral.thy
13 months ago nipkow 2018-04-26 new simp modifier: reorient
14 months ago paulson 2018-04-11 replacement of set integral abbreviations by actual definitions!
24 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.