History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Probability/Central_Limit_Theorem.thy
Revision Date Author Comments
# 593ff4b4 17-Oct-2016 nipkow <none@none>

setprod -> prod
# 351cc2e6 17-Oct-2016 nipkow <none@none>

setsum -> sum
# 7fe58874 03-Oct-2016 hoelzl <none@none>

Probability: variant of central limit theorem with non-zero mean

--HG--
extra : rebase_source : bc2f3f4b3f7627a3f539c71eec5a9e760d3206e3
# 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;
# 5ad25152 05-Jan-2016 hoelzl <none@none>

add the proof of the central limit theorem

--HG--
extra : rebase_source : 493d99e28392771c51f4102a11b90533880e289f
extra : amend_source : 3fb7b7c607104e57a2c3ba7f733dd570eb42fa3b