Nominal/Perm.thy
changeset 1913 39951d71bfce
parent 1910 57891245370d
child 1966 b6b3374a402d