src/HOL/Tools/lin_arith.ML

--- a/src/HOL/Tools/lin_arith.ML	Mon Feb 11 21:32:13 2008 +0100
+++ b/src/HOL/Tools/lin_arith.ML	Mon Feb 11 22:12:19 2008 +0100
@@ -882,7 +882,7 @@
   Context.mapping
    (setup_options #>
     Method.add_methods
-      [("arith", arith_method, "decide linear arithmethic")] #>
+      [("arith", arith_method, "decide linear arithmetic")] #>
     Attrib.add_attributes [("arith_split", Attrib.no_args arith_split_add,
       "declaration of split rules for arithmetic procedure")]) I;