--- a/src/HOL/Complex_Main.thy Sat Jul 18 21:44:18 2015 +0200
+++ b/src/HOL/Complex_Main.thy Sat Jul 18 22:58:50 2015 +0200
@@ -1,4 +1,4 @@
-section {* Comprehensive Complex Theory *}
+section \<open>Comprehensive Complex Theory\<close>
theory Complex_Main
imports