src/HOL/Library/Reflection.thy
changeset 46507 1b24c24017dd
parent 45966 03ce2b2a29a2
child 46510 696f3fec3f83