src/HOL/Library/reflection.ML
changeset 49322 fbb320d02420
parent 46763 aa9f5c3bcd4c
child 51717 9e7d1c139569