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
Mon, 27 Jan 2025 21:31:02 +0100 wenzelm clarified syntax;
Fri, 20 Sep 2024 19:51:08 +0200 wenzelm standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
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
Mon, 27 Jun 2022 17:36:26 +0200 traytel tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS
Mon, 27 Jun 2022 15:54:18 +0200 traytel strict bounds for BNFs (by Jan van Brügge)
Fri, 19 Feb 2021 13:42:12 +0100 Manuel Eberl HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
Wed, 09 Oct 2019 14:51:54 +0000 haftmann dedicated fact collections for algebraic simplification rules potentially splitting goals
Thu, 15 Aug 2019 16:11:56 +0100 paulson new material; rotated premises of Lim_transform_eventually
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Sat, 29 Dec 2018 15:43:53 +0100 nipkow capitalize proper names in lemma names
Sun, 18 Nov 2018 18:07:51 +0000 haftmann removed legacy input syntax
Wed, 06 Jun 2018 11:12:37 +0200 nipkow Keep filter input syntax
Tue, 22 May 2018 11:08:37 +0200 nipkow First step to remove nonstandard "[x <- xs. P]" syntax: only input
Fri, 13 Apr 2018 15:58:27 +0100 paulson Probability builds with new definitions
less more (0) -15 tip