src/HOL/Probability/Projective_Limit.thy
Tue, 27 Oct 2015 15:17:02 +0000 paulson Cauchy's integral formula, required lemmas, and a bit of reorganisation
Wed, 07 Oct 2015 17:11:16 +0200 hoelzl cleanup projective limit of probability distributions; proved Ionescu-Tulcea; used it to prove infinite prob. distribution
Tue, 28 Jul 2015 16:16:13 +0100 paulson the Cauchy integral theorem and related material
less more (0) -10 -3 tip