src/Pure/unify.ML
changeset 29091 b81fe045e799
parent 28173 f7b5b963205e
child 29269 5c25a2012975