Sebastian Ullrich 5279f92dae fix(library/tactic/simp_lemmas): avoid rewrite failure with more robust code ... The old code assumed `emetas` to be descendingly ordered by tmp idx, which is not true for rfl lemmas.		2018-02-27 10:59:51 -08:00
..
lean	fix(library/tactic/simp_lemmas): avoid rewrite failure with more robust code	2018-02-27 10:59:51 -08:00
.gitignore	chore(tests/lean,shell/lean): run leantests and leanruntests in parallel	2017-03-30 06:04:00 +02:00