author | wenzelm |
Thu, 07 Apr 2016 20:51:52 +0200 | |
changeset 62908 | d7009a515733 |
parent 62020 | 5d208fd2507d |
child 63432 | ba7901e94e7b |
permissions | -rw-r--r-- |
(* Author: Alexander Krauss, TU Muenchen Author: Christian Sternagel, University of Innsbruck *) 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 ML_file "adhoc_overloading.ML" end