
diff -r 143f58bb34f9 -r 0909deb8059b src/HOL/Import/Import_Setup.thy
--- a/src/HOL/Import/Import_Setup.thy	Thu May 26 16:57:14 2016 +0200
+++ b/src/HOL/Import/Import_Setup.thy	Thu May 26 17:51:22 2016 +0200
@@ -3,7 +3,7 @@
     Author:     Alexander Krauss, QAware GmbH
 *)
 
-section {* Importer machinery and required theorems *}
+section \<open>Importer machinery and required theorems\<close>
 
 theory Import_Setup
 imports Main "~~/src/HOL/Binomial"




