--- 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