Leonardo de Moura 61d68f4abf feat(library/type_context): solve ?m s =?= ?m t by first-order unification in approximate mode		2016-10-07 12:06:22 -07:00
..
lean	feat(library/type_context): solve ?m s =?= ?m t by first-order unification in approximate mode	2016-10-07 12:06:22 -07:00