Nominal/Ex/QuotientSet.thy
2011-11-26 Christian Urban a few more experiments with alpha-beta
less more (0) tip