src/HOL/Code_Eval.thy
2009-05-19 haftmann 2009-05-19 String.literal replaces message_string, code_numeral replaces (code_)index
2009-05-19 haftmann 2009-05-19 moved Code_Index, Random and Quickcheck before Main
2009-05-18 haftmann 2009-05-18 tuned term input syntax
2009-05-15 haftmann 2009-05-15 syntax support for term expressions
2009-05-14 haftmann 2009-05-14 dropped accidental debug messages
2009-05-13 haftmann 2009-05-13 tuned construction of term_of instances
2009-05-06 haftmann 2009-05-06 refined HOL string theories and corresponding ML fragments
2009-05-04 haftmann 2009-05-04 class typerep inherits from type
2009-04-24 haftmann 2009-04-24 generic postprocessing scheme for term evaluations
2009-04-17 haftmann 2009-04-17 re-engineering of evaluation conversions
2009-03-11 haftmann 2009-03-11 delete code equations for types pred and seq
2009-01-21 haftmann 2009-01-21 improved and corrected reading of class specs -- still draft version
2008-12-04 haftmann 2008-12-04 cleaned up binding module and related code
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s
2008-10-22 haftmann 2008-10-22 slightly tuned
2008-10-10 haftmann 2008-10-10 `code func` now just `code`
2008-09-29 wenzelm 2008-09-29 LocalTheory.exit_global;
2008-09-26 haftmann 2008-09-26 removed obsolete name convention "func"
2008-09-25 haftmann 2008-09-25 discontinued special treatment of op = vs. eq_class.eq
2008-09-23 haftmann 2008-09-23 renamed rtype to typerep
2008-09-22 haftmann 2008-09-22 absolute Library path
2008-09-16 haftmann 2008-09-16 moved term_of syntax to separate theory
2008-09-16 haftmann 2008-09-16 evaluation using code generator