Daniel Selsam 1644e52c47 fix(frontends/lean/decl_cmds): allow noncomputable meta		2016-10-08 22:21:56 -07:00
..
lean	fix(frontends/lean/decl_cmds): allow noncomputable meta	2016-10-08 22:21:56 -07:00