Leonardo de Moura d0dfb3f9f9 fix(library/tactic/simp_lemmas): closes #1863		2017-12-20 15:12:02 -08:00
..
lean	fix(library/tactic/simp_lemmas): closes #1863	2017-12-20 15:12:02 -08:00
.gitignore