src/HOL/Analysis/Set_Integral.thy
Sun, 18 Nov 2018 18:07:51 +0000 haftmann removed legacy input syntax
Sun, 21 Oct 2018 23:02:52 +0100 Angeliki KoutsoukouArgyraki tagged 8 theories for the Analysis manual.
Sat, 04 Aug 2018 01:03:39 +0200 eberlm Small lemmas about analysis
Wed, 06 Jun 2018 18:19:55 +0200 nipkow reorient -> split; documented split
Thu, 26 Apr 2018 19:51:32 +0200 nipkow new simp modifier: reorient
Fri, 13 Apr 2018 15:58:27 +0100 paulson Probability builds with new definitions
Wed, 11 Apr 2018 16:34:44 +0100 paulson replacement of set integral abbreviations by actual definitions!
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Thu, 04 Jan 2018 18:18:57 +0100 hoelzl HOL-Analysis: add set_integrable_restrict_space
Sun, 20 Aug 2017 03:35:20 +0200 Manuel Eberl Various lemmas for HOL-Analysis
Thu, 17 Aug 2017 14:52:56 +0200 eberlm Replaced subseq with strict_mono
Thu, 22 Jun 2017 16:31:29 +0100 paulson New theorems and much tidying up of the old ones
Tue, 17 Jan 2017 13:59:10 +0100 wenzelm isabelle update_cartouches -c -t;
Tue, 18 Oct 2016 12:01:54 +0200 hoelzl HOL-Analysis: more theorems from Sébastien Gouëzel's Ergodic_Theory
Thu, 13 Oct 2016 18:36:06 +0200 hoelzl HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
Thu, 29 Sep 2016 13:54:57 +0200 hoelzl HOL-Analysis: add measurable sets with finite measures, prove affine transformation rule for the Lebesgue measure
Fri, 23 Sep 2016 18:34:34 +0200 hoelzl move absolutely_integrable_on to Equivalence_Lebesgue_Henstock_Integration, now based on the Lebesgue integral
Fri, 16 Sep 2016 13:56:51 +0200 hoelzl move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
Mon, 08 Aug 2016 14:13:14 +0200 hoelzl rename HOL-Multivariate_Analysis to HOL-Analysis.
less more (0) tip