changeset 39272 | 0b61951d2682 |
parent 39250 | 548a3e5521ab |
child 39274 | b17ffa965223 |
--- a/src/HOL/String.thy Fri Sep 10 09:56:28 2010 +0200 +++ b/src/HOL/String.thy Fri Sep 10 10:21:25 2010 +0200 @@ -207,7 +207,7 @@ code_const "HOL.equal \<Colon> literal \<Rightarrow> literal \<Rightarrow> bool" (SML "!((_ : string) = _)") (OCaml "!((_ : string) = _)") - (Haskell infixl 4 "==") + (Haskell infix 4 "==") (Scala infixl 5 "==") types_code