| changeset 37818 | dd65033fed78 |
| parent 37817 | 71e5546b1965 |
| child 37819 | 000049335247 |
| 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 Main |
|
9 uses "adhoc_overloading.ML" |
|
10 begin |
|
11 |
|
12 setup Adhoc_Overloading.setup |
|
13 |
|
14 end |