Skip to content
GitLab
Explore
Sign in
Paulo Emílio de Vilhena
stdpp
Repository
stdpp
CHANGELOG.md
Find file
Blame
History
Permalink
Rename `Forall_Forall2` → `Forall_Forall2_diag` to be consistent with the
· 1bce0e36
Robbert Krebbers
authored
Jan 28, 2021
names for big operators in Iris.
1bce0e36
To find the state of this project's repository at the time of any of these versions, check out
the tags
.