Nominal/Ex/TypeSchemes.thy
changeset 2235 ad725de6e39b
parent 2181 b997c22805ae
child 2308 387fcbd33820
equal deleted inserted replaced
2234:8035515bbbc6 2235:ad725de6e39b