src/HOL/ex/Eval_Examples.thy
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2014-05-09 haftmann 2014-05-09 hardcoded nbe and sml into value command
2011-10-19 bulwahn 2011-10-19 removing invocations of the evaluation method based on the old code generator
2011-08-03 bulwahn 2011-08-03 removing value invocations with the SML code generator
2010-11-27 haftmann 2010-11-27 tuned
2010-11-26 haftmann 2010-11-26 tuned example
2009-07-14 haftmann 2009-07-14 more canonical import
2009-02-20 haftmann 2009-02-20 stripped Id
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s
2008-09-16 haftmann 2008-09-16 generic value command
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;