# HG changeset patch
# User wenzelm
# Date 1736177759 -3600
# Node ID fc26731980dc3664cc8cc702f9813be9b723cd22
# Parent  30ae92baf0c347661276f1b4392606a500cfdbc6
proper latin "A" instead of greek "Alpha";

diff -r 30ae92baf0c3 -r fc26731980dc CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Jan 06 16:01:52 2025 +0100
+++ b/CONTRIBUTORS	Mon Jan 06 16:35:59 2025 +0100
@@ -20,7 +20,7 @@
 Contributions to Isabelle2024
 -----------------------------
 
-* Αpril 2024: Manuel Eberl, Katharina Kreuzer
+* April 2024: Manuel Eberl, Katharina Kreuzer
   Some material on finite fields and the characteristic of a ring in HOL,
   HOL-Computational_Algebra, and HOL-Number_Theory.
   Also a type constructor for the algebraic closure of a field.