Quot/Nominal/Perm.thy
changeset 1165 f1253f280843
parent 1164 fe0a31cf30a0
child 1170 a7b4160ef463