Nominal/NewAlpha.thy
changeset 2337 b151399bd2c3
parent 2303 c785fff02a8f