changeset 62020 | 5d208fd2507d |
parent 58889 | 5b7a9633cfa8 |
child 63432 | ba7901e94e7b |
--- 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