diff -r 9ce4d52c9176 -r aa2afbafd983 src/Tools/adhoc_overloading.ML
--- a/src/Tools/adhoc_overloading.ML	Fri Aug 02 12:11:02 2013 +0900
+++ b/src/Tools/adhoc_overloading.ML	Fri Aug 02 15:41:19 2013 +0900
@@ -1,7 +1,7 @@
 (* Author: Alexander Krauss, TU Muenchen
    Author: Christian Sternagel, University of Innsbruck
 
-Ad-hoc overloading of constants based on their types.
+Adhoc overloading of constants based on their types.
 *)
 
 signature ADHOC_OVERLOADING =
@@ -227,12 +227,12 @@
 
 val _ =
   Outer_Syntax.local_theory @{command_spec "adhoc_overloading"}
-    "add ad-hoc overloading for constants / fixed variables"
+    "add adhoc overloading for constants / fixed variables"
     (Parse.and_list1 (Parse.const -- Scan.repeat Parse.term) >> adhoc_overloading_cmd true);
 
 val _ =
   Outer_Syntax.local_theory @{command_spec "no_adhoc_overloading"}
-    "add ad-hoc overloading for constants / fixed variables"
+    "add adhoc overloading for constants / fixed variables"
     (Parse.and_list1 (Parse.const -- Scan.repeat Parse.term) >> adhoc_overloading_cmd false);
 
 end;