1.1 --- a/src/HOL/Library/Code_Char.thy Wed Nov 20 11:12:35 2013 +0100
1.2 +++ b/src/HOL/Library/Code_Char.thy Wed Nov 20 11:59:33 2013 +0100
1.3 @@ -97,6 +97,18 @@
1.4 and (Haskell) infix 4 "<"
1.5 and (Scala) infixl 4 "<"
1.6 and (Eval) infixl 6 "<"
1.7 +| constant "Orderings.less_eq :: String.literal \<Rightarrow> String.literal \<Rightarrow> bool" \<rightharpoonup>
1.8 + (SML) "!((_ : string) <= _)"
1.9 + and (OCaml) "!((_ : string) <= _)"
1.10 + and (Haskell) infix 4 "<="
1.11 + and (Scala) infixl 4 "<="
1.12 + and (Eval) infixl 6 "<="
1.13 +| constant "Orderings.less :: String.literal \<Rightarrow> String.literal \<Rightarrow> bool" \<rightharpoonup>
1.14 + (SML) "!((_ : string) < _)"
1.15 + and (OCaml) "!((_ : string) < _)"
1.16 + and (Haskell) infix 4 "<"
1.17 + and (Scala) infixl 4 "<"
1.18 + and (Eval) infixl 6 "<"
1.19
1.20 end
1.21