Nominal/NewAlpha.thy
changeset 2216 1a9dbfe04f7d
parent 2200 31f1ec832d39
child 2303 c785fff02a8f