Leonardo de Moura 7ffd7fea3d feat(kernel): store depth of composite terms and use it in the hash code computation ... closes #1589		2017-05-25 16:51:02 -07:00
..
lean	feat(kernel): store depth of composite terms and use it in the hash code computation	2017-05-25 16:51:02 -07:00
.gitignore	chore(tests/lean,shell/lean): run leantests and leanruntests in parallel	2017-03-30 06:04:00 +02:00