Nominal/NewAlpha.thy
changeset 2072 db218886e674
parent 2010 19fe16dd36c2
child 2073 2bfd5be8578a