Leonardo de Moura a78e8fb11a refactor(library/tactic/simp_lemmas_tactics): consistent naming		2016-10-09 09:37:20 -07:00
..
lean	refactor(library/tactic/simp_lemmas_tactics): consistent naming	2016-10-09 09:37:20 -07:00