src/HOL/Library/Reflection.thy
changeset 61945 1135b8de26c3
parent 61476 1884c40f1539
child 69605 a96320074298