# HG changeset patch
# User haftmann
# Date 1268231362 -3600
# Node ID c3bef0c972d7cc219d9c630a3a0b1e6614806323
# Parent  cfe0accda6e32c682a6f694588c8e894ca85e846
fixed typo

diff -r cfe0accda6e3 -r c3bef0c972d7 src/HOL/Library/Efficient_Nat.thy
--- 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")