tests/proofmode.ref · 7cfa82f6dbb7d9e34adbf7837e65e001053ec336 · Gaëtan Gilbert / Iris · GitLab

Jul 22, 2020
7cfa82f6
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
Set default name for unnamed binders to H
Tej Chajed authored Jul 22, 2020 and Robbert Krebbers committed Jul 22, 2020
```
Fixes #337.
```