Mon, 17 Oct 2016 11:46:22 +0200 |
nipkow |
setsum -> sum
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 09:31:04 +0200 |
haftmann |
more standardized names
|
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
|
Fri, 05 Aug 2016 18:34:57 +0200 |
hoelzl |
move measure theory from HOL-Probability to HOL-Multivariate_Analysis
|
file |
diff |
annotate
|
Fri, 29 Jul 2016 20:34:07 +0200 |
wenzelm |
more accurate cong del;
|
file |
diff |
annotate
|
Fri, 22 Jul 2016 11:00:43 +0200 |
wenzelm |
tuned proofs -- avoid unstructured calculation;
|
file |
diff |
annotate
|
Wed, 22 Jun 2016 10:09:20 +0200 |
wenzelm |
bundle lifting_syntax;
|
file |
diff |
annotate
|
Thu, 16 Jun 2016 23:03:27 +0200 |
hoelzl |
Probability: show that measures form a complete lattice
|
file |
diff |
annotate
|
Thu, 16 Jun 2016 16:57:36 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Tue, 07 Jun 2016 15:12:27 +0200 |
Andreas Lochbihler |
add theory of discrete subprobability distributions
|
file |
diff |
annotate
|