src/HOL/ex/Eval_Examples.thy
2008-01-31 haftmann 2008-01-31 proper term_of functions
2007-10-19 haftmann 2007-10-19 lemmas with normalization
2007-10-08 haftmann 2007-10-08 simplified evaluation
2007-10-04 haftmann 2007-10-04 clarified relationship of code generator conversions and evaluations
2007-09-20 haftmann 2007-09-20 more permissive
2007-09-15 haftmann 2007-09-15 multi-functional value keyword
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-16 haftmann 2007-08-16 added evaluation examples
2007-08-15 haftmann 2007-08-15 updated code generator setup
2007-06-05 wenzelm 2007-06-05 renamed ex/Eval_Examples.thy;