Nominal/nominal_eqvt.ML
changeset 2585 385add25dedf
parent 2568 8193bbaa07fe
child 2620 81921f8ad245
equal deleted inserted replaced
2584:1eac050a36f4 2585:385add25dedf