Leonardo de Moura c1c1cd417a fix(frontends/lean/builtin_exprs): make sure we use internal names (i.e., names starting with _) when compiling do-blocks ... @johoelzl This commit fixes the problem you reported at slack.		2017-02-15 22:45:59 -08:00
..
lean	fix(frontends/lean/builtin_exprs): make sure we use internal names (i.e., names starting with _) when compiling do-blocks	2017-02-15 22:45:59 -08:00
.gitignore