src/HOL/Codegenerator_Test/Code_Test_GHC.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-09-22 Andreas Lochbihler 2014-09-22 drop workaround addressed by d0d3c30806b4
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