# HG changeset patch
# User huffman
# Date 1202764339 -3600
# Node ID 59de52bec3ec889b37fd4c593051e14f9bf70f0a
# Parent  cd89870aa92f8fd7335d5070b1620075017d71a1
fix spelling

diff -r cd89870aa92f -r 59de52bec3ec 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;