diff -r 9de1eb745aeb -r 5d208fd2507d src/Tools/Adhoc_Overloading.thy
--- a/src/Tools/Adhoc_Overloading.thy	Thu Dec 31 21:46:31 2015 +0100
+++ b/src/Tools/Adhoc_Overloading.thy	Fri Jan 01 10:49:00 2016 +0100
@@ -2,7 +2,7 @@
    Author: Christian Sternagel, University of Innsbruck
 *)
 
-section {* Adhoc overloading of constants based on their types *}
+section \<open>Adhoc overloading of constants based on their types\<close>
 
 theory Adhoc_Overloading
 imports Pure