equal
deleted
inserted
replaced
222 |
222 |
223 subsubsection {* Codegenerator setup *} |
223 subsubsection {* Codegenerator setup *} |
224 |
224 |
225 code_syntax_const |
225 code_syntax_const |
226 True |
226 True |
227 ml (atom "true") |
227 ml (target_atom "true") |
228 haskell (atom "True") |
228 haskell (target_atom "True") |
229 False |
229 False |
230 ml (atom "false") |
230 ml (target_atom "false") |
231 haskell (atom "False") |
231 haskell (target_atom "False") |
232 |
232 |
233 code_syntax_const |
233 code_syntax_const |
234 Pair |
234 Pair |
235 ml (atom "(__,/ __)") |
235 ml (target_atom "(__,/ __)") |
236 haskell (atom "(__,/ __)") |
236 haskell (target_atom "(__,/ __)") |
237 |
237 |
238 code_syntax_const |
238 code_syntax_const |
239 1 :: "nat" |
239 1 :: "nat" |
240 ml ("{*Suc 0*}") |
240 ml ("{*Suc 0*}") |
241 haskell ("{*Suc 0*}") |
241 haskell ("{*Suc 0*}") |