Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix spelling
authorhuffman
Mon, 11 Feb 2008 22:12:19 +0100
changeset 26061 59de52bec3ec
parent 26060 cd89870aa92f
child 26062 16f334d7156a
fix spelling
src/HOL/Tools/lin_arith.ML file | annotate | diff | comparison | revisions 
--- 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;
isabelle