src/HOL/Probability/Levy.thy
Wed, 24 Feb 2016 15:51:01 +0000 paulson Substantial new material for multivariate analysis. Also removal of some duplicates.
Wed, 06 Jan 2016 12:18:53 +0100 hoelzl add the proof of the central limit theorem
less more (0) tip