theories/proofmode/class_instances.v · 2ca5469ad2ec32b7f020e9faeba755129d0aac9c · Gaëtan Gilbert / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

7 years ago
2ca5469a
More consistent naming, e.g. bare_later -> later_bare_2. · 2ca5469a
Robbert Krebbers authored 7 years ago
```
(All the later lemmas are now prefixed by later_, and dito for
laterN, and except_0).
```
2ca5469a

History
More consistent naming, e.g. bare_later -> later_bare_2.
Robbert Krebbers authored 7 years ago
```
(All the later lemmas are now prefixed by later_, and dito for
laterN, and except_0).
```