
diff -r c0eafbd55de3 -r 0b2407f406e8 src/Tools/Adhoc_Overloading.thy
--- a/src/Tools/Adhoc_Overloading.thy	Wed Aug 22 22:55:41 2012 +0200
+++ b/src/Tools/Adhoc_Overloading.thy	Wed Aug 22 23:22:57 2012 +0200
@@ -6,9 +6,9 @@
 
 theory Adhoc_Overloading
 imports Pure
-uses "adhoc_overloading.ML"
 begin
 
+ML_file "adhoc_overloading.ML"
 setup Adhoc_Overloading.setup
 
 end




