src/HOL/Library/Reflection.thy
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