Sebastian Ullrich 4e96f092f9 feat(library/init/lean/elaborator): delegate elaboration of attribute		2018-12-14 17:38:19 +01:00
..
lean	feat(library/init/lean/elaborator): delegate elaboration of attribute	2018-12-14 17:38:19 +01:00