| Wed, 12 Feb 2025 16:27:24 +0000 | paulson | A couple of additional lemmas | 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 |
| Thu, 09 Feb 2023 13:36:25 +0000 | paulson | More material for Analysis and Complex_Analysis | file | diff | annotate |
| Mon, 06 Feb 2023 15:41:23 +0000 | paulson | Some more new material and some tidying of existing proofs | file | diff | annotate |
| Thu, 26 Jan 2023 13:59:51 +0000 | paulson | Moved in some material from the AFP entry Winding_number_eval | file | diff | annotate |