Nominal/Ex/QuotientSet.thy
branchNominal2-Isabelle2012
changeset 3169 b6873d123f9b
parent 3054 da0fccee125c
equal deleted inserted replaced
3168:a6f3e1b08494 3169:b6873d123f9b