Leonardo de Moura 3a5f6f2e64 feat(frontends/lean/builtin_cmds): improve output produced by #elab command, use kernel type checker to check elaboration result		2016-07-27 15:29:25 -07:00
..
lean	feat(frontends/lean/builtin_cmds): improve output produced by #elab command, use kernel type checker to check elaboration result	2016-07-27 15:29:25 -07:00
lean_before_refactoring	fix(tests/lean/eta_decls): fix broken test	2016-06-14 11:51:47 -07:00