2011-04-05 | hoelzl | 2011-04-05 | prove measurable_into_infprod_algebra and measure_infprod | file | diff | annotate |
2011-03-30 | hoelzl | 2011-03-30 | products of probability measures are probability measures | file | diff | annotate |
2011-03-29 | hoelzl | 2011-03-29 | rename Probability_Space to Probability_Measure | file | diff | annotate |
2011-03-29 | hoelzl | 2011-03-29 | add infinite product measure | file | diff | annotate |