-
Robbert Krebbers authored
This is inspired by ssr, and makes unification faster if it goes right-to-left. See https://sympa.inria.fr/sympa/arc/ssreflect/2013-11/msg00010.html
8c77aa2f
This is inspired by ssr, and makes unification faster if it goes right-to-left. See https://sympa.inria.fr/sympa/arc/ssreflect/2013-11/msg00010.html