src/Tools/Adhoc_Overloading.thy

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Adhoc_Overloading.thy	Wed Jul 14 14:16:12 2010 +0200
@@ -0,0 +1,15 @@
+(* 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 Pure
+uses "adhoc_overloading.ML"
+begin
+
+setup Adhoc_Overloading.setup
+
+end
+