Nominal/Ex/QuotientSet.thy
branchNominal2-Isabelle2015
changeset 3241 ece7f031708c
parent 3054 da0fccee125c