3 commits

Author	SHA1	Message	Date
Daniel Fabian	eda4bdd337	test: extend inductive_pred.lean with tests using the new construction.	2021-04-25 20:02:22 -07:00
Leonardo de Moura	964fd3f520	chore: fixes tests ... closes #405	2021-04-22 20:22:43 -07:00
Leonardo de Moura	f631bd8df9	test: inductive predicate example	2021-04-02 16:21:54 -07:00