author | wenzelm |
Tue, 31 Mar 2015 22:31:05 +0200 | |
changeset 59886 | e0dc738eb08c |
parent 58889 | 5b7a9633cfa8 |
child 62020 | 5d208fd2507d |
permissions | -rw-r--r-- |
(* Author: Alexander Krauss, TU Muenchen Author: Christian Sternagel, University of Innsbruck *) section {* 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