src/HOL/Analysis/Set_Integral.thy
2 months ago Angeliki KoutsoukouArgyraki 2019-01-25 tagged 4 theories
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 Angeliki KoutsoukouArgyraki 2018-10-21 tagged 8 theories for the Analysis manual.
8 months ago eberlm 2018-08-04 Small lemmas about analysis
10 months ago nipkow 2018-06-06 reorient -> split; documented split
11 months ago nipkow 2018-04-26 new simp modifier: reorient
12 months ago paulson 2018-04-13 Probability builds with new definitions
12 months ago paulson 2018-04-11 replacement of set integral abbreviations by actual definitions!
15 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
15 months ago hoelzl 2018-01-04 HOL-Analysis: add set_integrable_restrict_space
20 months ago Manuel Eberl 2017-08-20 Various lemmas for HOL-Analysis
20 months ago eberlm 2017-08-17 Replaced subseq with strict_mono
22 months ago paulson 2017-06-22 New theorems and much tidying up of the old ones
2017-01-17 wenzelm 2017-01-17 isabelle update_cartouches -c -t;
2016-10-18 hoelzl 2016-10-18 HOL-Analysis: more theorems from Sébastien Gouëzel's Ergodic_Theory
2016-10-13 hoelzl 2016-10-13 HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
2016-09-29 hoelzl 2016-09-29 HOL-Analysis: add measurable sets with finite measures, prove affine transformation rule for the Lebesgue measure
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.