src/HOL/Probability/Characteristic_Functions.thy
2016-01-06 hoelzl 2016-01-06 add the proof of the central limit theorem