Nominal/Ex/TypeSchemes.thy
changeset 2218 502eaa199726
parent 2181 b997c22805ae
child 2308 387fcbd33820
equal deleted inserted replaced
2217:fc5bfd0cc1cd 2218:502eaa199726