src/HOL/Probability/Binary_Product_Measure.thy
2011-07-19 hoelzl 2011-07-19 Rename extreal => ereal
2011-05-26 hoelzl 2011-05-26 add lemma sigma_sets_singleton
2011-05-23 hoelzl 2011-05-23 move lemmas to Extended_Reals and Extended_Real_Limits
2011-03-29 hoelzl 2011-03-29 split Product_Measure into Binary_Product_Measure and Finite_Product_Measure