src/HOL/Codegenerator_Test/Generate_Pretty.thy
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-06-09 bulwahn 2011-06-09 fixing code generation test
2011-05-18 bulwahn 2011-05-18 adding Code_Char_ord to code generation regression tests
2010-11-26 haftmann 2010-11-26 globbing constant expressions use more idiomatic underscore rather than star
2010-07-14 haftmann 2010-07-14 explicit optional checking
2010-07-14 haftmann 2010-07-14 added Isar syntax for code checking
2010-07-14 haftmann 2010-07-14 check without explicit path
2010-07-08 haftmann 2010-07-08 checking generated code for various target languages
2010-07-02 haftmann 2010-07-02 introduced distinct session HOL-Codegenerator_Test