Nominal/GPerm.thy
changeset 3142 4d01d1056e22
parent 3139 e05c033d69c1
child 3173 9876d73adb2b
equal deleted inserted replaced
3141:319964ecf1f6 3142:4d01d1056e22