| Wed, 10 Oct 2012 12:12:23 +0200 |
hoelzl |
remove incseq assumption from measure_eqI_generator_eq
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:23 +0200 |
hoelzl |
generalize from prob_space to finite_measure
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:22 +0200 |
hoelzl |
add measurable_compose
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:21 +0200 |
hoelzl |
simplified assumptions for kolmogorov_0_1_law
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:21 +0200 |
hoelzl |
merge should operate on pairs
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:20 +0200 |
hoelzl |
remove incseq assumption from sigma_prod_algebra_sigma_eq
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:19 +0200 |
hoelzl |
sigma_finite_iff_density_finite does not require a positive density function
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:18 +0200 |
hoelzl |
tuned Lebesgue measure proofs
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:18 +0200 |
hoelzl |
tuned product measurability
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:17 +0200 |
hoelzl |
remove some unneeded positivity assumptions; generalize some assumptions to AE; tuned proofs
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:16 +0200 |
hoelzl |
use continuity to show Borel-measurability
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:15 +0200 |
hoelzl |
tuned measurable_If; moved countably_additive equalities to Measure_Space; tuned proofs
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:14 +0200 |
hoelzl |
rename terminal_events to tail_event
|
changeset |
files
|
| Wed, 10 Oct 2012 13:04:15 +0200 |
Andreas Lochbihler |
merged
|
changeset |
files
|
| Wed, 10 Oct 2012 13:03:50 +0200 |
Andreas Lochbihler |
efficient construction of red black trees from sorted associative lists
|
changeset |
files
|
| Wed, 10 Oct 2012 12:52:24 +0200 |
haftmann |
more explicit code equations
|
changeset |
files
|