Leonardo de Moura bd58048449 chore: { <source> with ... } syntax		2020-05-20 15:08:43 -07:00
..
Basic.lean	chore: { <source> with ... } syntax	2020-05-20 15:08:43 -07:00
BasicAux.lean	chore: library/Init ==> src/Init	2019-11-22 06:06:05 -08:00
Instances.lean	chore: remove coeSortBool	2020-01-28 19:07:02 -08:00