src/Tools/eqsubst.ML
changeset 69981 3dced198b9ec
parent 67149 e61557884799