1.1 --- a/src/HOL/HOL.thy	Fri Sep 10 09:56:28 2010 +0200
     1.2 +++ b/src/HOL/HOL.thy	Fri Sep 10 10:21:25 2010 +0200
     1.3 @@ -1942,10 +1942,10 @@
     1.4    (Haskell "Eq")
     1.5  
     1.6  code_const "HOL.equal"
     1.7 -  (Haskell infixl 4 "==")
     1.8 +  (Haskell infix 4 "==")
     1.9  
    1.10  code_const HOL.eq
    1.11 -  (Haskell infixl 4 "==")
    1.12 +  (Haskell infix 4 "==")
    1.13  
    1.14  text {* undefined *}
    1.15