Nominal/GPerm.thy
changeset 3154 990f066609c9
parent 3139 e05c033d69c1
child 3173 9876d73adb2b