Wed, 10 Oct 2012 12:12:23 +0200 | hoelzl | remove incseq assumption from measure_eqI_generator_eq | file | diff | annotate |
Wed, 10 Oct 2012 12:12:15 +0200 | hoelzl | tuned measurable_If; moved countably_additive equalities to Measure_Space; tuned proofs | file | diff | annotate |
Wed, 25 Apr 2012 19:26:27 +0200 | hoelzl | add Caratheodories theorem for semi-rings of sets | file | diff | annotate |
Wed, 25 Apr 2012 19:26:00 +0200 | hoelzl | moved lemmas to appropriate places | file | diff | annotate |
Mon, 23 Apr 2012 12:14:35 +0200 | hoelzl | reworked Probability theory | file | diff | annotate |