src/HOL/Probability/Convolution.thy
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2014-11-24 hoelzl 2014-11-24 add congruence solver to measurability prover
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-07-05 haftmann 2014-07-05 prefer ac_simps collections over separate name bindings for add and mult
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2014-06-12 hoelzl 2014-06-12 properties of Erlang and exponentially distributed random variables (by Sudeep Kanav)