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.
typo in a comment fixed
authorwebertj
Wed, 15 Feb 2006 18:10:09 +0100
changeset 19043 6c0fca729f33
parent 19042 630b8dd0b31a
child 19044 d4bc0ee9383a
typo in a comment fixed
src/HOL/arith_data.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/arith_data.ML	Wed Feb 15 17:09:45 2006 +0100
+++ b/src/HOL/arith_data.ML	Wed Feb 15 18:10:09 2006 +0100
@@ -461,7 +461,7 @@
    (l <= min m n + k) = (l <= m+k & l <= n+k)
 *)
 local
-(* a simpset for computations subject to optimazation !!! *)
+(* a simpset for computations subject to optimization !!! *)
 (*
 val binarith = map thm
   ["Pls_0_eq", "Min_1_eq",
isabelle