src/Pure/unify.ML
changeset 35414 cc8e4276d093
parent 35408 b48ab741683b
child 36001 992839c4be90