src/HOL/ex/Reflection.thy
2006-12-18 haftmann 2006-12-18 switched argument order in *.syntax lifters
2006-11-29 wenzelm 2006-11-29 simplified method setup;
2006-08-14 chaieb 2006-08-14 Reification now handels binders.
2006-08-03 wenzelm 2006-08-03 Generic reflection and reification (by Amine Chaieb).