src/Tools/Adhoc_Overloading.thy
changeset 37818 dd65033fed78
parent 37789 93f6dcf9ec02
child 48892 0b2407f406e8
equal deleted inserted replaced
37817:71e5546b1965 37818:dd65033fed78
       
     1 (* Author: Alexander Krauss, TU Muenchen
       
     2    Author: Christian Sternagel, University of Innsbruck
       
     3 *)
       
     4 
       
     5 header {* Ad-hoc overloading of constants based on their types *}
       
     6 
       
     7 theory Adhoc_Overloading
       
     8 imports Pure
       
     9 uses "adhoc_overloading.ML"
       
    10 begin
       
    11 
       
    12 setup Adhoc_Overloading.setup
       
    13 
       
    14 end
       
    15