Nominal/Ex/FiniteType.thy
changeset 3116 6968fd7507de
parent 3109 d79e936e30ea
child 3235 5ebd327ffb96