| 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 |
| Thu, 21 Mar 2024 14:19:39 +0000 | paulson | New material from a variety of sources (including AFP) | file | diff | annotate |
| Mon, 11 Mar 2024 15:07:02 +0000 | paulson | New material by Wenda Li and Manuel Eberl | file | diff | annotate |
| Sat, 12 Aug 2023 10:09:29 +0100 | paulson | substantial tidy-up, shortening many proofs | file | diff | annotate |