| Sun, 15 Dec 2024 22:58:48 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Wed, 09 Oct 2024 23:38:29 +0200 | wenzelm | more inner-syntax markup; | file | diff | annotate |
| 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 |
| Mon, 30 Jan 2023 15:24:17 +0000 | paulson | Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Thu, 04 Oct 2018 15:25:47 +0100 | paulson | updates to Algebra from Baillon and de Vilhena | file | diff | annotate |
| Sun, 22 Jul 2018 13:29:24 +0200 | paulson | de-applying | file | diff | annotate |