src/HOL/Library/Code_Natural.thy
changeset 39272 0b61951d2682
parent 38968 e55deaa22fff
child 39781 2053638a2bf2
     1.1 --- a/src/HOL/Library/Code_Natural.thy	Fri Sep 10 09:56:28 2010 +0200
     1.2 +++ b/src/HOL/Library/Code_Natural.thy	Fri Sep 10 10:21:25 2010 +0200
     1.3 @@ -130,7 +130,7 @@
     1.4    (Scala infixl 8 "/%")
     1.5  
     1.6  code_const "HOL.equal \<Colon> code_numeral \<Rightarrow> code_numeral \<Rightarrow> bool"
     1.7 -  (Haskell infixl 4 "==")
     1.8 +  (Haskell infix 4 "==")
     1.9    (Scala infixl 5 "==")
    1.10  
    1.11  code_const "op \<le> \<Colon> code_numeral \<Rightarrow> code_numeral \<Rightarrow> bool"