src/HOL/Codegenerator_Test/Candidates_Pretty.thy
2011-05-18 bulwahn 2011-05-18 adding Code_Char_ord to code generation regression tests
2010-07-02 haftmann 2010-07-02 introduced distinct session HOL-Codegenerator_Test