src/Tools/eqsubst.ML
changeset 35414 cc8e4276d093
parent 33243 17014b1b9353
child 36960 01594f816e3a