--- a/CONTRIBUTORS Wed Mar 20 14:05:15 2024 +0100
+++ b/CONTRIBUTORS Wed Mar 20 16:05:15 2024 +0100
@@ -6,6 +6,12 @@
Contributions to this Isabelle version
--------------------------------------
+* March 2024: Manuel Eberl
+ Weierstraß Factorization Theorem in HOL-Complex_Analysis
+
+* March 2024: Anthony Bordg, Manuel Eberl, Wenda Li, Larry Paulson
+ New and more general definition of meromorphicity in HOL-Complex_Analysis
+
* 2023/2024: Makarius Wenzel and Fabian Huch
More robust and scalable support for distributed build clusters.