src/HOL/ex/Reflection_Examples.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-11 blanchet 2014-09-11 renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2013-02-22 wenzelm 2013-02-22 updated headers;
2013-02-15 haftmann 2013-02-15 less customary term_of conversions; spurious side effect on method reflection
2013-02-13 haftmann 2013-02-13 tuned, particulary name