Nominal/Ex/ExPS6.thy
changeset 2325 29532d69111c
parent 2120 2786ff1df475