Nominal/nominal_eqvt.ML
changeset 2638 e1e2ca92760b
parent 2620 81921f8ad245
child 2650 e5fa8de0e4bd
equal deleted inserted replaced
2637:3890483c674f 2638:e1e2ca92760b