--- a/src/HOL/Computational_Algebra/Squarefree.thy	Fri Oct 15 18:09:34 2021 +0200
+++ b/src/HOL/Computational_Algebra/Squarefree.thy	Tue Oct 19 16:10:36 2021 +0200
@@ -1,6 +1,6 @@
 (*
   File:      HOL/Computational_Algebra/Squarefree.thy
-  Author:    Manuel Eberl <eberlm@in.tum.de>
+  Author:    Manuel Eberl <manuel@pruvisto.org>
 
   Squarefreeness and decomposition of ring elements into square part and squarefree part
 *)