Leonardo de Moura e0035f8d29 feat(frontends/lean/print_cmd): do not display meta constants when executing 'print axioms' cmd		2016-06-01 09:58:23 -07:00
..
lean	feat(frontends/lean/print_cmd): do not display meta constants when executing 'print axioms' cmd	2016-06-01 09:58:23 -07:00