Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
tests
proofmode.ref
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