4 commits

Author	SHA1	Message	Date
Leonardo de Moura	fa7fd4687c	feat: induction with multiple targets	2020-11-03 17:20:53 -08:00
Leonardo de Moura	2001e1708f	feat: add support for cases h_1:e_1, ..., h_n:e_n using elim	2020-11-03 17:20:53 -08:00
Leonardo de Moura	317b3fbc92	test: cases ... using ...	2020-11-03 17:20:52 -08:00
Leonardo de Moura	5ef7fd08ab	test: cases ... using ... test	2020-11-03 17:20:52 -08:00