src/Pure/unify.ML
changeset 19960 a0e3f2df9b0e
parent 19920 8257e52164a1
child 20020 9e7d3d06c643