src/HOL/Library/reflection.ML
2009-06-03 hoelzl 2009-06-03 Converted reification to use fold_map instead of Library.foldl_map. Use antiquotations.
2009-06-03 hoelzl 2009-06-03 Removed usage of reference in reification
2009-06-02 hoelzl 2009-06-02 corrected spacing in reflection
2009-04-24 haftmann 2009-04-24 added helpless comment
2009-03-27 haftmann 2009-03-27 dropped infix union
2009-02-27 wenzelm 2009-02-27 eliminated private clones of List.partition;
2009-02-09 hoelzl 2009-02-09 Proof method 'reify' is now reentrant.
2009-02-05 hoelzl 2009-02-05 Add approximation method
2009-01-28 haftmann 2009-01-28 Reflection.thy now in HOL/Library