src/HOL/Probability/Probability.thy
Fri, 19 Feb 2021 13:42:12 +0100 Manuel Eberl HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
Wed, 07 Jun 2017 17:11:45 -0400 hoelzl HOL-Probability: add measurable space for trees
Thu, 20 Oct 2016 18:41:59 +0200 hoelzl HOL-Probability: move stopping time from AFP/Markov_Models
Tue, 18 Oct 2016 17:29:28 +0200 hoelzl HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp
Thu, 13 Oct 2016 18:36:06 +0200 hoelzl HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
Thu, 18 Aug 2016 11:00:36 +0200 hoelzl HOL-Probability: Projective_Limit was missing (cf. 44ce6b524ff3); tuned
Fri, 05 Aug 2016 18:34:57 +0200 hoelzl move measure theory from HOL-Probability to HOL-Multivariate_Analysis
Tue, 07 Jun 2016 15:12:27 +0200 Andreas Lochbihler add theory of discrete subprobability distributions
Tue, 31 May 2016 13:02:44 +0200 eberlm Added code generation for PMFs
Tue, 24 May 2016 15:05:41 +0200 eberlm Added set permutations/random permutations
Wed, 06 Jan 2016 12:18:53 +0100 hoelzl add the proof of the central limit theorem
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
Fri, 05 Dec 2014 12:06:18 +0100 hoelzl add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav
Tue, 07 Oct 2014 10:34:24 +0200 hoelzl add Giry monad
Mon, 06 Oct 2014 16:27:31 +0200 hoelzl add measure space for (coinductive) streams
less more (0) -15 tip