changeset 39499 | 0b61951d2682 |
parent 39194 | e55deaa22fff |
child 40014 | 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"