Leonardo de Moura 09bd948045 feat(library/init/function): move '$' notation to the top-level		2016-06-21 18:02:45 -07:00
..
lean	feat(library/init/function): move '$' notation to the top-level	2016-06-21 18:02:45 -07:00
lean_before_refactoring	fix(tests/lean/eta_decls): fix broken test	2016-06-14 11:51:47 -07:00