Nominal/NewAlpha.thy
changeset 2277 816204c76e90
parent 2200 31f1ec832d39
child 2303 c785fff02a8f