src/Tools/Adhoc_Overloading.thy
author Christian Sternagel
Fri, 02 Aug 2013 15:41:19 +0900
changeset 52893 aa2afbafd983
parent 52622 e0ff1625e96d
child 58889 5b7a9633cfa8
permissions -rw-r--r--
use uniform spelling of "adhoc"

(* 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