author | Christian Sternagel |
Fri, 02 Aug 2013 15:41:19 +0900 | |
changeset 52893 | aa2afbafd983 |
parent 52622 | e0ff1625e96d |
child 58889 | 5b7a9633cfa8 |
permissions | -rw-r--r-- |
(* Author: Alexander Krauss, TU Muenchen Author: Christian Sternagel, University of Innsbruck *) header {* Adhoc overloading of constants based on their types *} theory Adhoc_Overloading imports Pure keywords "adhoc_overloading" :: thy_decl and "no_adhoc_overloading" :: thy_decl begin ML_file "adhoc_overloading.ML" end