Sebastian Ullrich cae1009175 fix(library/init/data/list/aux): rename to basic_aux.lean ... `aux` is a reserved filename on Windows /cc @leodemoura		2019-10-02 12:30:29 +02:00
..
basic.lean	refactor(library/init/data/list): new name convention for List functions	2019-10-01 15:15:02 -07:00
basic_aux.lean	fix(library/init/data/list/aux): rename to basic_aux.lean	2019-10-02 12:30:29 +02:00
default.lean	fix(library/init/data/list/aux): rename to basic_aux.lean	2019-10-02 12:30:29 +02:00
instances.lean	chore(library/init/data/list/basic): cleanup	2019-03-29 16:33:08 -07:00