CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Apr 17 23:22:32 2024 +0200
+++ b/CONTRIBUTORS	Thu Apr 18 13:07:34 2024 +0100
@@ -14,6 +14,9 @@
 * March 2024: Manuel Eberl
   Weierstraß Factorization Theorem in HOL-Complex_Analysis.
 
+* March 2024: Ata Keskin
+  Analysis lemmas drawn from the Martingales AFP entry.
+
 * March 2024: Anthony Bordg, Manuel Eberl, Wenda Li, Larry Paulson
   New and more general definition of meromorphicity in HOL-Complex_Analysis.