Nominal/Ex2.thy
changeset 1761 6bf14c13c291
parent 1596 c69d9fb16785