
diff -r 7b59d2945e54 -r 1f1366966296 src/HOL/Complex_Main.thy
--- a/src/HOL/Complex_Main.thy	Thu Mar 11 07:05:29 2021 +0000
+++ b/src/HOL/Complex_Main.thy	Thu Mar 11 07:05:38 2021 +0000
@@ -6,4 +6,4 @@
   MacLaurin
 begin
 
-end
+end
\ No newline at end of file




