Nominal/Ex/ExPS6.thy
changeset 2168 ce0255ffaeb4
parent 2120 2786ff1df475