Nominal/ExTySch.thy
changeset 1637 a5501c9fad9b
parent 1605 d46a32cfcd89
child 1670 ed89a26b7074