Nominal/GPerm.thy
changeset 3194 6454435d689b
parent 3175 52730e5ec8cb
child 3229 b52e8651591f