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