Leonardo de Moura 16711fcdba feat(library/tactic/dsimplify): new configuration options for dsimp ... TODO for `dsimp`: - Add an option for reducing [reducible] definitions - Add (to_unfold : list name) similar to the one in the `simp` tactic		2017-07-02 18:26:03 -07:00
..
lean	feat(library/tactic/dsimplify): new configuration options for dsimp	2017-07-02 18:26:03 -07:00
.gitignore	chore(tests/lean,shell/lean): run leantests and leanruntests in parallel	2017-03-30 06:04:00 +02:00