2 commits

Author	SHA1	Message	Date
Leonardo de Moura	3a72cd9621	fix(frontends/lean): rename multiword keyword "suffices to show" to "suffices"	2015-08-18 17:57:53 -07:00
Leonardo de Moura	3ce8c5d6f7	feat(frontends/lean): add "suffices to show A, from B, C" construct	2015-08-18 17:04:38 -07:00