Leonardo de Moura e48fa15b71 feat(library/tactic/backward/backward_chaining): add 'pre_tactic' to backward_chaining_core		2016-07-10 16:11:13 -07:00
..
lean	feat(library/tactic/backward/backward_chaining): add 'pre_tactic' to backward_chaining_core	2016-07-10 16:11:13 -07:00
lean_before_refactoring	fix(tests/lean/eta_decls): fix broken test	2016-06-14 11:51:47 -07:00