Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Analysis/Set_Integral.thy
Thu, 22 Jun 2017 16:31:29 +0100
paulson
New theorems and much tidying up of the old ones
file
|
diff
|
annotate
Tue, 17 Jan 2017 13:59:10 +0100
wenzelm
isabelle update_cartouches -c -t;
file
|
diff
|
annotate
Tue, 18 Oct 2016 12:01:54 +0200
hoelzl
HOL-Analysis: more theorems from Sébastien Gouëzel's Ergodic_Theory
file
|
diff
|
annotate
Thu, 13 Oct 2016 18:36:06 +0200
hoelzl
HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
file
|
diff
|
annotate
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
file
|
diff
|
annotate
Fri, 23 Sep 2016 18:34:34 +0200
hoelzl
move absolutely_integrable_on to Equivalence_Lebesgue_Henstock_Integration, now based on the Lebesgue integral
file
|
diff
|
annotate
Fri, 16 Sep 2016 13:56:51 +0200
hoelzl
move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
file
|
diff
|
annotate
Mon, 08 Aug 2016 14:13:14 +0200
hoelzl
rename HOL-Multivariate_Analysis to HOL-Analysis.
file
|
diff
|
annotate
|
base
less
more
(0)
tip