Sebastian Ullrich 1d0456adf5 fix(library/init/lean/parser/term): revert refactoring that broke sort_apps of Type		2018-10-17 09:13:52 +02:00
..
init	fix(library/init/lean/parser/term): revert refactoring that broke sort_apps of Type	2018-10-17 09:13:52 +02:00
leanpkg.path
library.md	chore(library/library.md): update documentation	2017-08-16 14:17:26 -07:00