| #
79d3be54 |
|
14-Apr-2016 |
hoelzl <none@none> |
Probability: move emeasure and nn_integral from ereal to ennreal
--HG--
extra : rebase_source : 5f2ac8a84abb43927a58086db8bbe10e190b2e77
|
| #
8e83c9d2 |
|
07-Dec-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
ce7c103d |
|
23-Nov-2014 |
hoelzl <none@none> |
add congruence solver to measurability prover
--HG--
extra : rebase_source : 77341231f7d3ba19edd6c5865552541156a3dd71
|
| #
f8e9ab7b |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header;
|
| #
38907e37 |
|
05-Jul-2014 |
haftmann <none@none> |
prefer ac_simps collections over separate name bindings for add and mult
|
| #
e46c07fd |
|
04-Jul-2014 |
haftmann <none@none> |
reduced name variants for assoc and commute on plus and mult
|
| #
33db321f |
|
12-Jun-2014 |
hoelzl <none@none> |
properties of Erlang and exponentially distributed random variables (by Sudeep Kanav)
--HG--
extra : rebase_source : b821e7a52658fa32f598433901729ddc5fc949dd
|