tests/proofmode.ref · 7cfa82f6dbb7d9e34adbf7837e65e001053ec336 · Glen Mével / Iris · GitLab

Find file Blame History Permalink

Set default name for unnamed binders to H · 7cfa82f6
Tej Chajed authored Jul 22, 2020 and Robbert Krebbers committed Jul 22, 2020
```
Fixes #337.
```
7cfa82f6