Leonardo de Moura 6234d0d830 fix(frontends/lean/decl_cmds): the function name does not need to be atomic		2016-06-29 07:55:11 +01:00
..
lean	fix(frontends/lean/decl_cmds): the function name does not need to be atomic	2016-06-29 07:55:11 +01:00