Nominal/Ex/TypeSchemes.thy
changeset 2217 fc5bfd0cc1cd
parent 2181 b997c22805ae
child 2308 387fcbd33820
equal deleted inserted replaced
2216:1a9dbfe04f7d 2217:fc5bfd0cc1cd