src/HOL/Import/Import_Setup.thy

--- a/src/HOL/Import/Import_Setup.thy	Mon Jan 20 22:53:51 2025 +0100
+++ b/src/HOL/Import/Import_Setup.thy	Mon Jan 20 23:00:17 2025 +0100
@@ -1,6 +1,7 @@
 (*  Title:      HOL/Import/Import_Setup.thy
     Author:     Cezary Kaliszyk, University of Innsbruck
     Author:     Alexander Krauss, QAware GmbH
+    Author:     Makarius
 *)
 
 section \<open>Importer machinery\<close>