Nominal-General/nominal_eqvt.ML
changeset 2055 5a8a3e209b95
parent 1948 5abac261b5ce
child 2064 2725853f43b9
equal deleted inserted replaced
2054:f2f427bc4fd1 2055:5a8a3e209b95