src/HOL/Probability/SPMF.thy
2016-07-22 wenzelm 2016-07-22 tuned proofs -- avoid unstructured calculation;
2016-06-22 wenzelm 2016-06-22 bundle lifting_syntax;
2016-06-16 hoelzl 2016-06-16 Probability: show that measures form a complete lattice
2016-06-16 wenzelm 2016-06-16 isabelle update_cartouches -c -t;
2016-06-07 Andreas Lochbihler 2016-06-07 add theory of discrete subprobability distributions