Sebastian Ullrich 74d80444ff fix(frontends/lean/vm_elaborator): elab_attribute_cmd		2019-01-21 17:53:05 +01:00
..
lean	fix(frontends/lean/vm_elaborator): elab_attribute_cmd	2019-01-21 17:53:05 +01:00