isabelle: File revisions

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.	file \| diff \| annotate
Wed, 07 Jun 2017 17:11:45 -0400	hoelzl	HOL-Probability: add measurable space for trees	file \| diff \| annotate
Thu, 20 Oct 2016 18:41:59 +0200	hoelzl	HOL-Probability: move stopping time from AFP/Markov_Models	file \| diff \| annotate
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	file \| diff \| annotate
Thu, 13 Oct 2016 18:36:06 +0200	hoelzl	HOL-Probability: move conditional expectation from AFP/Ergodic_Theory	file \| diff \| annotate
Thu, 18 Aug 2016 11:00:36 +0200	hoelzl	HOL-Probability: Projective_Limit was missing (cf. 44ce6b524ff3); tuned	file \| diff \| annotate
Fri, 05 Aug 2016 18:34:57 +0200	hoelzl	move measure theory from HOL-Probability to HOL-Multivariate_Analysis	file \| diff \| annotate
Tue, 07 Jun 2016 15:12:27 +0200	Andreas Lochbihler	add theory of discrete subprobability distributions	file \| diff \| annotate

isabelle