Nominal/Ex3.thy
changeset 1624 91ab98dd9999
parent 1598 2406350c358f