Nominal/Ex/Finite_Alpha.thy
changeset 3099 502b5f02edaf
parent 3065 51ef8a3cb6ef