changeset 39272 | 0b61951d2682 |
parent 39198 | f967a16dfcdd |
child 39302 | d7728f65b353 |
--- a/src/HOL/Library/Efficient_Nat.thy Fri Sep 10 09:56:28 2010 +0200 +++ b/src/HOL/Library/Efficient_Nat.thy Fri Sep 10 10:21:25 2010 +0200 @@ -443,7 +443,7 @@ code_const "HOL.equal \<Colon> nat \<Rightarrow> nat \<Rightarrow> bool" (SML "!((_ : IntInf.int) = _)") (OCaml "Big'_int.eq'_big'_int") - (Haskell infixl 4 "==") + (Haskell infix 4 "==") (Scala infixl 5 "==") (Eval infixl 6 "=")