diff -r 041678c7f147 -r 98879407d33c src/HOL/Analysis/Abstract_Topology.thy
--- a/src/HOL/Analysis/Abstract_Topology.thy	Wed May 03 10:35:20 2023 +0100
+++ b/src/HOL/Analysis/Abstract_Topology.thy	Wed May 03 11:20:03 2023 +0100
@@ -1,5 +1,4 @@
-(*  Author:     L C Paulson, University of Cambridge [ported from HOL Light]
-*)
+(*  Author:     L C Paulson, University of Cambridge [ported from HOL Light] *)
 
 section \<open>Operators involving abstract topology\<close>