4 commits

Author	SHA1	Message	Date
Floris van Doorn	e87a27cb4b	fix(hott/init/path): reorder arguments of whisker_right	2016-12-02 16:55:23 -08:00
Leonardo de Moura	542a998f0e	fix(tests/lean): adjust tests to reflect changes in the HoTT library	2015-09-25 09:46:51 -07:00
Floris van Doorn	a127a676eb	fix(tests): fix tests to reflect changes	2015-05-26 21:37:02 -07:00
Leonardo de Moura	2164ba6f20	fix(library/tactic/induction_tactic): fixes #614	2015-05-20 23:14:11 -07:00