src/HOL/Complex_Analysis/Meromorphic.thy
Wed, 21 May 2025 21:48:42 +0200 Manuel Eberl three lemmas for HOL-Complex_Analysis, HOL-Computational_Algebra
Tue, 15 Apr 2025 15:17:25 +0200 Manuel Eberl new lemmas for HOL-Complex_Analysis; overhaul of isolated_zeros
Tue, 08 Apr 2025 19:06:00 +0100 paulson More of Manuel's material
Fri, 20 Sep 2024 19:51:08 +0200 wenzelm standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
Tue, 02 Apr 2024 18:02:43 +0200 Manuel Eberl added documentation for meromorphicity etc. in HOL-Complex_Analysis
Thu, 21 Mar 2024 14:19:39 +0000 paulson New material from a variety of sources (including AFP)
Wed, 20 Mar 2024 16:05:15 +0100 Manuel Eberl more general definition of meromorphicity; Weierstraß factorisation theorem
Tue, 12 Mar 2024 12:11:28 +0000 paulson Fixed a latex error in the markup
Mon, 11 Mar 2024 15:07:02 +0000 paulson New material by Wenda Li and Manuel Eberl
Mon, 25 Sep 2023 17:06:05 +0100 paulson A few new theorems
Thu, 16 Feb 2023 12:21:21 +0000 paulson More of Eberl's contributions: memomorphic functions
less more (0) tip