Nominal/Ex/QuotientSet.thy
changeset 3235 5ebd327ffb96
parent 3054 da0fccee125c
equal deleted inserted replaced
3234:08c3ef07cef7 3235:5ebd327ffb96