Leonardo de Moura 677b40f4b7 feat(tactic/init/meta/tactic): normalize assert, define tactic names		2016-06-21 17:50:30 -07:00
..
lean	feat(tactic/init/meta/tactic): normalize assert, define tactic names	2016-06-21 17:50:30 -07:00
lean_before_refactoring	fix(tests/lean/eta_decls): fix broken test	2016-06-14 11:51:47 -07:00