isabelle: File revisions

src/HOL/Probability/Probability_Mass_Function.thy

Thu, 03 Jul 2025 13:53:14 +0200	nipkow	removed duplicate lemma; added the notion of the kernel of a function	file \| diff \| annotate
Mon, 27 Jan 2025 21:31:02 +0100	wenzelm	clarified syntax;	file \| diff \| annotate
Fri, 20 Sep 2024 19:51:08 +0200	wenzelm	standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;	file \| diff \| annotate
Tue, 28 Feb 2023 16:46:56 +0000	paulson	Imported a theorem about Infinite_Sum. Importing this theory a bit earlier is causing syntactic ambiguities with Infinite_Set_Sum however; no_notation needed	file \| diff \| annotate
Mon, 27 Jun 2022 17:36:26 +0200	traytel	tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS	file \| diff \| annotate
Mon, 27 Jun 2022 15:54:18 +0200	traytel	strict bounds for BNFs (by Jan van Brügge)	file \| diff \| annotate
Fri, 19 Feb 2021 13:42:12 +0100	Manuel Eberl	HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.	file \| diff \| annotate

isabelle