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