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