Nominal/Ex/ExPS8.thy
changeset 2480 ac7dff1194e8
parent 2477 2f289c1f6cf1