Nominal/Nominal2_Supp.thy
changeset 1685 721d92623c9d
parent 1670 ed89a26b7074