Nominal/Perm.thy
changeset 1490 9923b2cee778
parent 1342 2b98012307f7
child 1503 8639077e0f43