diff -r c6db12ddb60c -r c785fff02a8f Nominal/NewAlpha.thy