Nominal/nominal_eqvt.ML
changeset 2920 99069744ad74
parent 2885 1264f2a21ea9
child 3045 d0ad264f8c4f
equal deleted inserted replaced
2919:13ae668bdb15 2920:99069744ad74