src/HOL/Types_To_Sets/local_typedef.ML
changeset 66695 91500c024c7f
parent 64551 79e9587dbcca
child 69597 ff784d5a5bfb