src/Pure/unify.ML
changeset 19960 a0e3f2df9b0e
parent 19920 8257e52164a1
child 20020 9e7d3d06c643
equal deleted inserted replaced
19959:dc3e007aeaf1 19960:a0e3f2df9b0e