author wenzelm
Mon, 07 Oct 2013 21:24:44 +0200
changeset 54313 da2e6282a4f5
parent 52893 aa2afbafd983
child 58889 5b7a9633cfa8
permissions -rw-r--r--
native executable even for Linux, to avoid surprises with file managers opening executable script as text file;

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

ML_file "adhoc_overloading.ML"