src/HOL/Probability/Giry_Monad.thy
2015-04-14 Andreas Lochbihler 2015-04-14 lemmas about integrals over bind and join on measures
2015-04-08 wenzelm 2015-04-08 eliminated suspicious Unicode character;
2015-03-23 hoelzl 2015-03-23 add measurable_submarkov
2015-03-04 wenzelm 2015-03-04 tuned signature -- prefer qualified names;
2015-02-19 haftmann 2015-02-19 more canonical order of subscriptions avoids superfluous facts
2015-02-11 Andreas Lochbihler 2015-02-11 more lemmas
2015-01-23 Andreas Lochbihler 2015-01-23 generalise lemma
2015-01-22 hoelzl 2015-01-22 import general thms from Density_Compiler
2014-12-05 hoelzl 2014-12-05 add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav
2014-11-24 hoelzl 2014-11-24 add congruence solver to measurability prover
2014-11-14 hoelzl 2014-11-14 cleaning up some theorem names; remove unnecessary assumptions; more complete pmf theory
2014-11-13 hoelzl 2014-11-13 import general theorems from AFP/Markov_Models
2014-10-07 hoelzl 2014-10-07 fix document generation for HOL-Probability
2014-10-07 hoelzl 2014-10-07 add Giry monad