Nominal/ExPS7.thy
changeset 1736 ba66fa116e05
parent 1655 9cec4269b7f9