| Thu, 03 Jul 2025 13:53:14 +0200 | nipkow | removed duplicate lemma; added the notion of the kernel of a function | file | diff | annotate |
| Mon, 27 Jan 2025 21:31:02 +0100 | wenzelm | clarified syntax; | 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 |
| Tue, 28 Feb 2023 16:46:56 +0000 | paulson | Imported a theorem about Infinite_Sum. Importing this theory a bit earlier is causing syntactic ambiguities with Infinite_Set_Sum however; no_notation needed | file | diff | annotate |
| Mon, 27 Jun 2022 17:36:26 +0200 | traytel | tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS | file | diff | annotate |
| Mon, 27 Jun 2022 15:54:18 +0200 | traytel | strict bounds for BNFs (by Jan van Brügge) | file | diff | annotate |