src/HOL/Codegenerator_Test/Code_Test_Scala.thy
2015-12-18 Andreas Lochbihler 2015-12-18 add gcd instance for integer and serialisation to target language operations
2015-03-16 wenzelm 2015-03-16 proper headers;
2014-10-08 Andreas Lochbihler 2014-10-08 move Code_Test to HOL/Library; add corresponding entries in NEWS and CONTRIBUTORS
2014-10-02 haftmann 2014-10-02 accomplish potentially case-insenstive file systems for Scala
2014-09-16 Andreas Lochbihler 2014-09-16 add target language evaluators for the value command; drop obsolete command eval_term
2014-08-25 Andreas Lochbihler 2014-08-25 add testing framework for generated code