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