Nominal/Equivp.thy
changeset 2051 13da60487112
parent 2019 0a04acc91ca1
child 2070 ff69913e2608