3 commits

Author	SHA1	Message	Date
Sebastian Ullrich	273753f3fc	chore(tests): mass-update for pp.binder_types false	2016-06-02 11:28:00 -07:00
Leonardo de Moura	1c4dea9941	fix(tests/lean): adjust tests to reflect changes in the pretty printer	2015-09-30 17:42:07 -07:00
Leonardo de Moura	1b864a838f	fix(library/tactic/induction_tactic.cpp): condition for checking whether 'induction' tatic is applicable or not ... fixes #690	2015-06-28 13:07:02 -07:00