CHANGELOG.md · 46cc81add7b481ea70eee297d4c3116c867ec492 · Adam / stdpp · GitLab

Snippets Groups Projects

Forked from Iris / stdpp

4093 commits behind the upstream repository.

4 years ago
46cc81ad
rename elem_of_equiv -> set_equiv and set_equiv_spec -> set_equiv_subseteq,... · 46cc81ad
Ralf Jung authored 4 years ago
```
rename elem_of_equiv -> set_equiv and set_equiv_spec -> set_equiv_subseteq, and rename some instances to get out of the way
```
46cc81ad

History
rename elem_of_equiv -> set_equiv and set_equiv_spec -> set_equiv_subseteq,...
Ralf Jung authored 4 years ago
```
rename elem_of_equiv -> set_equiv and set_equiv_spec -> set_equiv_subseteq, and rename some instances to get out of the way
```

To find the state of this project's repository at the time of any of these versions, check out the tags.