Nominal/Ex/ExPS8.thy
changeset 2118 0e52851acac4
parent 2105 e25b0fff0dd2
child 2116 ce228f7b2b72