src/Tools/Adhoc_Overloading.thy

 (* Author: Alexander Krauss, TU Muenchen
    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
 keywords "adhoc_overloading" :: thy_decl and  "no_adhoc_overloading" :: thy_decl
 begin