src/HOL/Library/Reflection.thy
2009-06-03 ago Converted reification to use fold_map instead of Library.foldl_map. Use antiquotations.
2009-03-16 ago simplified method setup;
2009-03-13 ago unified type Proof.method and pervasive METHOD combinators;
2009-01-28 ago Reflection.thy now in HOL/Library