Nominal-General/nominal_eqvt.ML
changeset 2323 99706604c573
parent 2311 4da5c5c29009
child 2477 2f289c1f6cf1
equal deleted inserted replaced
2322:24de7e548094 2323:99706604c573