src/HOL/Codegenerator_Test/Generate.thy
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