equal
deleted
inserted
replaced
110 (Scala infixl 4 "<=") |
110 (Scala infixl 4 "<=") |
111 |
111 |
112 code_const Code_Numeral.int_of |
112 code_const Code_Numeral.int_of |
113 (SML "IntInf.fromInt") |
113 (SML "IntInf.fromInt") |
114 (OCaml "_") |
114 (OCaml "_") |
115 (Haskell "toEnum") |
115 (Haskell "_") |
116 (Scala "!BigInt((_))") |
116 (Scala "!BigInt((_))") |
117 |
117 |
118 text {* Evaluation *} |
118 text {* Evaluation *} |
119 |
119 |
120 code_const "Code_Evaluation.term_of \<Colon> int \<Rightarrow> term" |
120 code_const "Code_Evaluation.term_of \<Colon> int \<Rightarrow> term" |