src/CTT/Main.thy

--- a/src/CTT/Main.thy	Thu Jul 23 14:20:51 2015 +0200
+++ b/src/CTT/Main.thy	Thu Jul 23 14:25:05 2015 +0200
@@ -1,4 +1,4 @@
-section {* Main includes everything *}
+section \<open>Main includes everything\<close>
 
 theory Main
 imports CTT Arith Bool