Nominal/nominal_eqvt.ML
branchNominal2-Isabelle2012
changeset 3171 f5057aabf5c0
parent 3135 92b9b8d2888d
child 3193 87d1e815aa59