fixed typo
authorhaftmann
Wed Mar 10 15:29:22 2010 +0100 (2010-03-10)
changeset 35689c3bef0c972d7
parent 35688 cfe0accda6e3
child 35690 863bee3a9153
fixed typo
src/HOL/Library/Efficient_Nat.thy
     1.1 --- a/src/HOL/Library/Efficient_Nat.thy	Wed Mar 10 15:29:22 2010 +0100
     1.2 +++ b/src/HOL/Library/Efficient_Nat.thy	Wed Mar 10 15:29:22 2010 +0100
     1.3 @@ -400,7 +400,7 @@
     1.4    (SML "IntInf.max/ (/0,/ _)")
     1.5    (OCaml "Big'_int.max'_big'_int/ Big'_int.zero'_big'_int")
     1.6  
     1.7 -text {* For Haskell ans Scala, things are slightly different again. *}
     1.8 +text {* For Haskell and Scala, things are slightly different again. *}
     1.9  
    1.10  code_const int and nat
    1.11    (Haskell "toInteger" and "fromInteger")