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.
fixed typo
authorhaftmann
Wed, 10 Mar 2010 15:29:22 +0100
changeset 35689 c3bef0c972d7
parent 35688 cfe0accda6e3
child 35690 863bee3a9153
fixed typo
src/HOL/Library/Efficient_Nat.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Efficient_Nat.thy	Wed Mar 10 15:29:22 2010 +0100
+++ b/src/HOL/Library/Efficient_Nat.thy	Wed Mar 10 15:29:22 2010 +0100
@@ -400,7 +400,7 @@
   (SML "IntInf.max/ (/0,/ _)")
   (OCaml "Big'_int.max'_big'_int/ Big'_int.zero'_big'_int")
 
-text {* For Haskell ans Scala, things are slightly different again. *}
+text {* For Haskell and Scala, things are slightly different again. *}
 
 code_const int and nat
   (Haskell "toInteger" and "fromInteger")
isabelle