src/HOL/Probability/Conditional_Expectation.thy
6 months ago paulson 2019-04-11 type instantiations for poly_mapping as a real_normed_vector
9 months ago paulson 2019-01-22 renamings and new material
18 months ago paulson 2018-04-13 Probability builds with new definitions
22 months ago wenzelm 2017-12-19 isabelle update_cartouches -c -t;
2016-10-13 hoelzl 2016-10-13 HOL-Probability: move conditional expectation from AFP/Ergodic_Theory