author | krauss |
Tue, 13 Jul 2010 00:15:37 +0200 | |
changeset 37789 | 93f6dcf9ec02 |
permissions | -rw-r--r-- |
37789 | 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 Main |
|
9 |
uses "adhoc_overloading.ML" |
|
10 |
begin |
|
11 |
||
12 |
setup Adhoc_Overloading.setup |
|
13 |
||
14 |
end |