Nominal/ExTySch.thy
changeset 1675 d24f59f78a86
parent 1673 e8cf0520c820
child 1676 141a36535f1d