--- a/CONTRIBUTORS	Thu Jan 09 23:06:17 2025 +0100
+++ b/CONTRIBUTORS	Thu Jan 09 13:18:37 2025 +0100
@@ -6,7 +6,7 @@
 Contributions to this Isabelle version
 --------------------------------------
 
-* October 2024: Lukas Bartl, LMU München
+* October 2024 - January 2025: Lukas Bartl, Universität Augsburg
   Inference of variable instantiations with Metis.
 
 * April - October 2024: Thomas Lindae and Fabian Huch, TU München