src/HOL/Probability/Stream_Space.thy
2015-12-09 paulson 2015-12-09 sorted out eventually_mono
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-09-13 wenzelm 2015-09-13 tuned proofs -- less legacy;
2015-05-04 hoelzl 2015-05-04 rename continuous and down_continuous in Order_Continuity to sup_/inf_continuous; relate them with topological continuity
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-13 hoelzl 2014-11-13 import general theorems from AFP/Markov_Models
2014-10-07 hoelzl 2014-10-07 move Stream theory from Datatype_Examples to Library
2014-10-07 hoelzl 2014-10-07 add Giry monad
2014-10-06 hoelzl 2014-10-06 add measure space for (coinductive) streams