src/HOL/Library/Adhoc_Overloading.thy
author wenzelm
Tue May 15 13:57:39 2018 +0200 (16 months ago)
changeset 68189 6163c90694ef
parent 68061 81d90f830f99
child 69605 a96320074298
permissions -rw-r--r--
tuned headers;
wenzelm@68061
     1
(*  Title:      HOL/Library/Adhoc_Overloading.thy
wenzelm@68061
     2
    Author:     Alexander Krauss, TU Muenchen
wenzelm@68061
     3
    Author:     Christian Sternagel, University of Innsbruck
krauss@37789
     4
*)
krauss@37789
     5
wenzelm@62020
     6
section \<open>Adhoc overloading of constants based on their types\<close>
krauss@37789
     7
krauss@37789
     8
theory Adhoc_Overloading
wenzelm@68061
     9
  imports Main
wenzelm@68061
    10
  keywords "adhoc_overloading" "no_adhoc_overloading" :: thy_decl
krauss@37789
    11
begin
krauss@37789
    12
wenzelm@48892
    13
ML_file "adhoc_overloading.ML"
krauss@37789
    14
krauss@37789
    15
end