Nominal/Ex/QuotientSet.thy
changeset 3222 8c53bcd5c0ae
parent 3054 da0fccee125c