Nominal/Equivp.thy
changeset 2341 f659ce282610
parent 2324 9038c9549073