| 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, 02 Apr 2024 18:02:43 +0200 | Manuel Eberl | added documentation for meromorphicity etc. in HOL-Complex_Analysis | file | diff | annotate |
| Thu, 21 Mar 2024 14:19:39 +0000 | paulson | New material from a variety of sources (including AFP) | file | diff | annotate |
| Wed, 20 Mar 2024 16:05:15 +0100 | Manuel Eberl | more general definition of meromorphicity; Weierstraß factorisation theorem | file | diff | annotate |
| Tue, 12 Mar 2024 12:11:28 +0000 | paulson | Fixed a latex error in the markup | file | diff | annotate |
| Mon, 11 Mar 2024 15:07:02 +0000 | paulson | New material by Wenda Li and Manuel Eberl | file | diff | annotate |
| Mon, 25 Sep 2023 17:06:05 +0100 | paulson | A few new theorems | file | diff | annotate |
| Thu, 16 Feb 2023 12:21:21 +0000 | paulson | More of Eberl's contributions: memomorphic functions | file | diff | annotate |