Leonardo de Moura 17172cbbdd fix(library/tactic/simplify): imp_congr was not preserving binder name		2017-11-17 12:45:04 -08:00
..
lean	fix(library/tactic/simplify): imp_congr was not preserving binder name	2017-11-17 12:45:04 -08:00
.gitignore