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 Pure
9 uses "adhoc_overloading.ML"
10 begin
11
12 setup Adhoc_Overloading.setup
13
14 end
15