src/HOL/Probability/Probability_Measure.thy
Fri, 06 Dec 2024 20:26:33 +0100 wenzelm clarified renaming of bounds, using Syntax_Trans.variant_bounds: avoid structures and fixed variables with syntax;
Fri, 18 Oct 2024 14:20:09 +0200 wenzelm more inner-syntax markup;
Sun, 25 Aug 2024 21:10:01 +0200 wenzelm more markup for syntax consts;
Thu, 21 Mar 2024 14:19:39 +0000 paulson New material from a variety of sources (including AFP)
Fri, 24 Sep 2021 22:23:26 +0200 wenzelm tuned proofs --- avoid 'guess';
Fri, 19 Feb 2021 13:42:12 +0100 Manuel Eberl HOL-Analysis/Probability: Hoeffding's inequality, negative binomial distribution, etc.
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
less more (0) -30 -10 -7 tip