Nominal/Eqvt.thy
changeset 2975 c62e26830420
parent 2734 eee5deb35aa8