Leonardo de Moura c0022253a7 feat(frontends/lean/tactic_notation): allow lemmas to be removed		2016-09-30 19:53:51 -07:00
..
lean	feat(frontends/lean/tactic_notation): allow lemmas to be removed	2016-09-30 19:53:51 -07:00