src/HOL/Library/Reflection.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-03-04 wenzelm 2015-03-04 tuned signature -- prefer qualified names;
2014-11-02 wenzelm 2014-11-02 modernized header;
2013-04-21 haftmann 2013-04-21 reflection as official HOL tool
2013-04-21 haftmann 2013-04-21 combined reify_data.ML into reflection.ML; attempt to establish a more accessible and more consistent terminology; more ML code in ML file rather than setup theory; ML slightly tuned wrt. Isabelle coding conventions
2013-03-26 wenzelm 2013-03-26 tuned imports;
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-03-02 haftmann 2012-03-02 tuned whitespace
2012-03-02 haftmann 2012-03-02 tuned import
2012-02-16 wenzelm 2012-02-16 more antiquotations;
2011-12-24 haftmann 2011-12-24 tuned proofs
2011-05-15 wenzelm 2011-05-15 simplified/unified method_setup/attribute_setup;
2009-06-03 hoelzl 2009-06-03 Converted reification to use fold_map instead of Library.foldl_map. Use antiquotations.
2009-03-16 wenzelm 2009-03-16 simplified method setup;
2009-03-13 wenzelm 2009-03-13 unified type Proof.method and pervasive METHOD combinators;
2009-01-28 haftmann 2009-01-28 Reflection.thy now in HOL/Library