Mario Carneiro cc81118892 refactor(init/data): move out some nat lemmas		2017-07-26 11:52:10 +01:00
..
basic.lean	refactor(init/data): move out some nat lemmas	2017-07-26 11:52:10 +01:00
default.lean	feat(library/init/data/list/qsort): add temp qsort as meta definition	2017-02-17 21:07:09 -08:00
instances.lean	refactor(init/data): move out some nat lemmas	2017-07-26 11:52:10 +01:00
lemmas.lean	refactor(init/data): move out some nat lemmas	2017-07-26 11:52:10 +01:00
qsort.lean	chore(library/init/data): recent changes	2017-07-05 12:44:56 -07:00