src/HOL/Probability/Conditional_Probability.thy
2012-02-28 wenzelm 2012-02-28 avoid undeclared variables in let bindings; tuned proofs;
2011-07-19 hoelzl 2011-07-19 Rename extreal => ereal
2011-06-27 hoelzl 2011-06-27 move conditional expectation to its own theory file