Leonardo de Moura 583a55c7c3 refactor(library): move 'none', 'some', 'tt', 'ff' to top-level		2016-06-25 12:39:19 -07:00
..
lean	refactor(library): move 'none', 'some', 'tt', 'ff' to top-level	2016-06-25 12:39:19 -07:00
lean_before_refactoring	fix(tests/lean/eta_decls): fix broken test	2016-06-14 11:51:47 -07:00