src/HOL/Library/Reflection.thy
changeset 49093 fdc301f592c4
parent 48891 c0eafbd55de3
child 51542 738598beeb26