changeset 37818 | dd65033fed78 |
parent 37817 | 71e5546b1965 |
child 37819 | 000049335247 |
--- a/src/HOL/Library/Adhoc_Overloading.thy Wed Jul 14 12:27:44 2010 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,14 +0,0 @@ -(* Author: Alexander Krauss, TU Muenchen - Author: Christian Sternagel, University of Innsbruck -*) - -header {* Ad-hoc overloading of constants based on their types *} - -theory Adhoc_Overloading -imports Main -uses "adhoc_overloading.ML" -begin - -setup Adhoc_Overloading.setup - -end