Nominal/TestMorePerm.thy
changeset 1726 2eafd8ed4bbf
parent 1595 aeed597d2043