Leonardo de Moura 79d0347721 feat(library/tactic): add generalize tactic, closes #34 ... Remark: the intros tactic has been added in a different commit: 7d0100a340		2014-10-23 22:40:15 -07:00
..
lean	feat(library/tactic): add generalize tactic, closes #34	2014-10-23 22:40:15 -07:00
lua	refactor(library/tactic): move 'tracing' tactics to separate module	2014-10-22 14:12:45 -07:00