| Fri, 28 Feb 2025 13:50:18 +0000 | paulson | Some new lemmas and some tidying | file | diff | annotate |
| Fri, 10 Jan 2025 15:11:56 +0000 | paulson | Correction to pretty printing for set intervals, allowing a line break if necessary for a large expression | file | diff | annotate |
| Mon, 23 Sep 2024 21:09:23 +0200 | wenzelm | more inner syntax markup: HOL; | file | diff | annotate |
| Mon, 23 Sep 2024 13:32:38 +0200 | wenzelm | standardize mixfix annotations via "isabelle update -u mixfix_cartouches -l Pure HOL" --- to simplify systematic editing; | file | diff | annotate |
| Sun, 25 Aug 2024 15:02:19 +0200 | wenzelm | more markup for syntax consts; | file | diff | annotate |
| Thu, 08 Aug 2024 18:56:14 +0100 | paulson | Two little lemmas | file | diff | annotate |
| Tue, 23 Jul 2024 15:54:43 +0100 | paulson | A lot of new material from the Ramsey development, including a couple of new simprules. | file | diff | annotate |