changeset 69605 | a96320074298 |
parent 68061 | 81d90f830f99 |
--- a/src/HOL/Library/Adhoc_Overloading.thy Sun Jan 06 13:44:33 2019 +0100 +++ b/src/HOL/Library/Adhoc_Overloading.thy Sun Jan 06 15:04:34 2019 +0100 @@ -10,6 +10,6 @@ keywords "adhoc_overloading" "no_adhoc_overloading" :: thy_decl begin -ML_file "adhoc_overloading.ML" +ML_file \<open>adhoc_overloading.ML\<close> end