src/Pure/unify.ML
changeset 38950 62578950e748
parent 37720 50a9e2fa4f6b
child 39116 f14735a88886