Leonardo de Moura e23db3970a feat(library/init/meta/tactic): apply tactic return parameter name associated with new metavars		2017-12-10 12:11:58 -08:00
..
lean	feat(library/init/meta/tactic): apply tactic return parameter name associated with new metavars	2017-12-10 12:11:58 -08:00
.gitignore	chore(tests/lean,shell/lean): run leantests and leanruntests in parallel	2017-03-30 06:04:00 +02:00