src/HOL/Library/Adhoc_Overloading.thy
author haftmann
Fri Mar 22 19:18:08 2019 +0000 (4 months ago)
changeset 69946 494934c30f38
parent 69605 a96320074298
permissions -rw-r--r--
improved code equations taken over from AFP
     1 (*  Title:      HOL/Library/Adhoc_Overloading.thy
     2     Author:     Alexander Krauss, TU Muenchen
     3     Author:     Christian Sternagel, University of Innsbruck
     4 *)
     5 
     6 section \<open>Adhoc overloading of constants based on their types\<close>
     7 
     8 theory Adhoc_Overloading
     9   imports Main
    10   keywords "adhoc_overloading" "no_adhoc_overloading" :: thy_decl
    11 begin
    12 
    13 ML_file \<open>adhoc_overloading.ML\<close>
    14 
    15 end