Nominal/Ex/TypeSchemes.thy
changeset 2173 477293d841e8
parent 2120 2786ff1df475
child 2179 7687f97eca53