| Fri, 15 Feb 2013 11:47:33 +0100 | haftmann | systematic conversions between nat and nibble/char; | file | diff | annotate |
| Fri, 15 Feb 2013 08:31:31 +0100 | haftmann | two target language numeral types: integer and natural, as replacement for code_numeral; | file | diff | annotate |
| Wed, 18 May 2011 15:45:33 +0200 | bulwahn | adding Code_Char_ord to code generation regression tests | file | diff | annotate |
| Fri, 02 Jul 2010 14:23:18 +0200 | haftmann | introduced distinct session HOL-Codegenerator_Test | file | diff | annotate | base |