| #
e6ca3b44 |
|
17-Jul-2019 |
paulson <lp15@cam.ac.uk> |
a few new lemmas and a bit of tidying
|
| #
fbeacd92 |
|
22-Jan-2019 |
paulson <lp15@cam.ac.uk> |
some renamings and a bit of new material
|
| #
97b2ecf5 |
|
08-Nov-2018 |
haftmann <none@none> |
removed relics of ASCII syntax for indexed big operators
|
| #
dc1c0020 |
|
28-Sep-2016 |
paulson <lp15@cam.ac.uk> |
new material connected with HOL Light measure theory, plus more rationalisation
|
| #
7baf2986 |
|
13-Jun-2016 |
hoelzl <none@none> |
Probability: tuned headers; cleanup Radon_Nikodym
--HG--
extra : rebase_source : b1923775a469aec44566a1d1da6c9d6e69cb0de4
|
| #
a2bc0021 |
|
25-Apr-2016 |
wenzelm <none@none> |
eliminated old 'def';
tuned comments;
|
| #
79d3be54 |
|
14-Apr-2016 |
hoelzl <none@none> |
Probability: move emeasure and nn_integral from ereal to ennreal
--HG--
extra : rebase_source : 5f2ac8a84abb43927a58086db8bbe10e190b2e77
|
| #
2c8908ed |
|
09-Feb-2016 |
hoelzl <none@none> |
add extended nonnegative real numbers
--HG--
extra : rebase_source : ce03ad17148ce26b7b0e042b01890f086feeb79e
|
| #
5ad25152 |
|
05-Jan-2016 |
hoelzl <none@none> |
add the proof of the central limit theorem
--HG--
extra : rebase_source : 493d99e28392771c51f4102a11b90533880e289f
extra : amend_source : 3fb7b7c607104e57a2c3ba7f733dd570eb42fa3b
|