Nominal/NewAlpha.thy
changeset 2012 a48a6f88f76e
parent 2010 19fe16dd36c2
child 2073 2bfd5be8578a