src/Pure/unify.ML
changeset 573 2fa5ef27bd0a
parent 0 a5a9c433f639
child 646 7928c9760667