# HG changeset patch
# User Christian Sternagel
# Date 1375425679 -32400
# Node ID aa2afbafd9837a9de3e34a28109dc14c958fe67c
# Parent  9ce4d52c917604691e8ecc7ca05f42348ec15b5e
use uniform spelling of "adhoc"

diff -r 9ce4d52c9176 -r aa2afbafd983 src/Tools/Adhoc_Overloading.thy
--- a/src/Tools/Adhoc_Overloading.thy	Fri Aug 02 12:11:02 2013 +0900
+++ b/src/Tools/Adhoc_Overloading.thy	Fri Aug 02 15:41:19 2013 +0900
@@ -2,7 +2,7 @@
    Author: Christian Sternagel, University of Innsbruck
 *)
 
-header {* Ad-hoc overloading of constants based on their types *}
+header {* Adhoc overloading of constants based on their types *}
 
 theory Adhoc_Overloading
 imports Pure
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;