Nominal/Eqvt.thy
changeset 2978 967c55907ce1
parent 2734 eee5deb35aa8