changeset 58889 | 5b7a9633cfa8 |
parent 52893 | aa2afbafd983 |
child 62020 | 5d208fd2507d |
--- a/src/Tools/Adhoc_Overloading.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/Tools/Adhoc_Overloading.thy Sun Nov 02 18:21:45 2014 +0100 @@ -2,7 +2,7 @@ Author: Christian Sternagel, University of Innsbruck *) -header {* Adhoc overloading of constants based on their types *} +section {* Adhoc overloading of constants based on their types *} theory Adhoc_Overloading imports Pure