author | wenzelm |
Sat, 22 Oct 2016 21:10:02 +0200 | |
changeset 64350 | 3af8566788e7 |
parent 63432 | ba7901e94e7b |
permissions | -rw-r--r-- |
37789 | 1 |
(* Author: Alexander Krauss, TU Muenchen |
2 |
Author: Christian Sternagel, University of Innsbruck |
|
3 |
*) |
|
4 |
||
62020 | 5 |
section \<open>Adhoc overloading of constants based on their types\<close> |
37789 | 6 |
|
7 |
theory Adhoc_Overloading |
|
37818
dd65033fed78
load cache_io before code generator; moved adhoc-overloading to generic tools
haftmann
parents:
37789
diff
changeset
|
8 |
imports Pure |
63432 | 9 |
keywords |
10 |
"adhoc_overloading" "no_adhoc_overloading" :: thy_decl |
|
37789 | 11 |
begin |
12 |
||
48892 | 13 |
ML_file "adhoc_overloading.ML" |
37789 | 14 |
|
15 |
end |
|
37818
dd65033fed78
load cache_io before code generator; moved adhoc-overloading to generic tools
haftmann
parents:
37789
diff
changeset
|
16 |