src/HOL/ex/Reflection.thy
2006-08-03 wenzelm 2006-08-03 Generic reflection and reification (by Amine Chaieb).