author | haftmann |
Mon, 27 Nov 2006 13:42:48 +0100 | |
changeset 21552 | da4e5237dda2 |
parent 21551 | d276e7d25017 |
child 21553 | 3dd27eda91b9 |
--- a/src/HOL/Integ/IntDef.thy Mon Nov 27 13:42:47 2006 +0100 +++ b/src/HOL/Integ/IntDef.thy Mon Nov 27 13:42:48 2006 +0100 @@ -921,7 +921,7 @@ (SML "!((_ : IntInf.int) = _)") (Haskell infixl 4 "==") -code_const "op <= \<Colon> int \<Rightarrow> int \<Rightarrow> bool" +code_const "op \<le> \<Colon> int \<Rightarrow> int \<Rightarrow> bool" (SML "IntInf.<= (_, _)") (Haskell infix 4 "<=")