Nominal/GPerm.thy
changeset 3172 4cf3a4d36799
parent 3139 e05c033d69c1
child 3173 9876d73adb2b