Subst/Setplus.ML
changeset 251 f04b33ce250f
parent 171 16c4ea954511
equal deleted inserted replaced
250:093e273405f0 251:f04b33ce250f