src/HOL/Probability/Infinite_Product_Measure.thy
2011-04-05 hoelzl 2011-04-05 prove measurable_into_infprod_algebra and measure_infprod
2011-03-30 hoelzl 2011-03-30 products of probability measures are probability measures
2011-03-29 hoelzl 2011-03-29 rename Probability_Space to Probability_Measure
2011-03-29 hoelzl 2011-03-29 add infinite product measure