Subst/Setplus.ML
changeset 248 c3913a79b6ae
parent 171 16c4ea954511
equal deleted inserted replaced
247:05736fb55c13 248:c3913a79b6ae