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; | file | diff | annotate |
Fri, 18 Oct 2024 14:20:09 +0200 | wenzelm | more inner-syntax markup; | file | diff | annotate |
Sun, 25 Aug 2024 21:10:01 +0200 | wenzelm | more markup for syntax consts; | file | diff | annotate |
Thu, 21 Mar 2024 14:19:39 +0000 | paulson | New material from a variety of sources (including AFP) | file | diff | annotate |
Fri, 24 Sep 2021 22:23:26 +0200 | wenzelm | tuned proofs --- avoid 'guess'; | 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 |
Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |