Nominal/Perm.thy
changeset 2356 840a857354f2
parent 2346 4c5881455923