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