src/Tools/Adhoc_Overloading.thy

--- a/src/Tools/Adhoc_Overloading.thy	Fri Jul 12 15:51:25 2013 +0200
+++ b/src/Tools/Adhoc_Overloading.thy	Fri Jul 12 16:19:05 2013 +0200
@@ -6,10 +6,10 @@
 
 theory Adhoc_Overloading
 imports Pure
+keywords "adhoc_overloading" :: thy_decl and  "no_adhoc_overloading" :: thy_decl
 begin
 
 ML_file "adhoc_overloading.ML"
-setup Adhoc_Overloading.setup
 
 end