Leonardo de Moura 85339c0cc1 fix(library/data/list/basic): mark :: as infixr		2014-10-19 08:58:52 -07:00
..
basic.lean	fix(library/data/list/basic): mark :: as infixr	2014-10-19 08:58:52 -07:00
default.lean	refactor(library): remove unnecessary 'standard' subdirectory	2014-08-23 18:08:09 -07:00
list.md	refactor(library): remove unnecessary 'standard' subdirectory	2014-08-23 18:08:09 -07:00