fix(tactic/squeeze): compatibility with `simp [<-...]` #1923
mergify
merged
4 commits into
leanprover-community:master
from
Vierkantor:simp_symm_compat
Add polyfills to `squeeze_simp` which should ensure compatibility wit…
64925354
Use `decode_simp_arg_list` so `squeeze_simp` doesn't have to pattern-…
1ee56f14
robertylewis
commented
on 2020-01-29
Reword comment for `erase_simp_args`
179afd7a
robertylewis
approved these changes
on 2020-01-30
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into simp_symm_compat
0c703df6
Login to write a write a comment.
Login via GitHub