src/HOL/Probability/Sinc_Integral.thy
2016-01-07 paulson 2016-01-07 revisions to limits and derivatives, plus new lemmas
2016-01-06 hoelzl 2016-01-06 add the proof of the central limit theorem