changeset 39272 | 0b61951d2682 |
parent 39250 | 548a3e5521ab |
child 42231 | bc1891226d00 |
--- a/src/HOL/Library/Code_Char.thy Fri Sep 10 09:56:28 2010 +0200 +++ b/src/HOL/Library/Code_Char.thy Fri Sep 10 10:21:25 2010 +0200 @@ -34,7 +34,7 @@ code_const "HOL.equal \<Colon> char \<Rightarrow> char \<Rightarrow> bool" (SML "!((_ : char) = _)") (OCaml "!((_ : char) = _)") - (Haskell infixl 4 "==") + (Haskell infix 4 "==") (Scala infixl 5 "==") code_const "Code_Evaluation.term_of \<Colon> char \<Rightarrow> term"