Nominal/Ex3.thy
changeset 1661 54becd55d83a
parent 1598 2406350c358f