Nominal/Equivp.thy
changeset 2369 3aeb58524131
parent 2324 9038c9549073
equal deleted inserted replaced
2367:34af7f2ca490 2369:3aeb58524131