src/Provers/eqsubst.ML
changeset 25456 6f79698f294d
parent 23064 6ee131d1a618
child 27033 6ef5134fc631
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d