theories/proofmode/tactics.v · 3c4d808882667455b8175d858e23f31960644dca · Tej Chajed / iris · GitLab

Find file Blame History Permalink

Support `->` and `<-` for pure equalities in proof mode intro patterns. · 3c4d8088
Robbert Krebbers authored Oct 27, 2017
```
This closes issue #64.
```
3c4d8088