src/HOL/Probability/Sinc_Integral.thy
Thu, 07 Jan 2016 17:40:55 +0000 paulson revisions to limits and derivatives, plus new lemmas
Wed, 06 Jan 2016 12:18:53 +0100 hoelzl add the proof of the central limit theorem
less more (0) tip