Nominal/Eqvt.thy
changeset 2847 5165f4552cd5
parent 2734 eee5deb35aa8