Nominal/Equivp.thy
changeset 2106 409ecb7284dd
parent 2070 ff69913e2608
child 2108 c5b7be27f105