Mon, 23 May 2011 19:21:05 +0200 | hoelzl | move lemmas to Extended_Reals and Extended_Real_Limits | file | diff | annotate |
Tue, 17 May 2011 14:36:54 +0200 | hoelzl | the measurable sets with null measure form a ring | file | diff | annotate |
Tue, 17 May 2011 12:24:48 +0200 | hoelzl | add some lemmas for infinite product measure | file | diff | annotate |
Tue, 05 Apr 2011 19:55:04 +0200 | hoelzl | prove measurable_into_infprod_algebra and measure_infprod | file | diff | annotate |
Wed, 30 Mar 2011 17:54:10 +0200 | hoelzl | products of probability measures are probability measures | file | diff | annotate |
Tue, 29 Mar 2011 14:27:42 +0200 | hoelzl | rename Probability_Space to Probability_Measure | file | diff | annotate |
Tue, 29 Mar 2011 14:27:41 +0200 | hoelzl | add infinite product measure | file | diff | annotate |