theories/option.v · 7dd32d7d13355459a3f3095508bb8b80981241bc · Glen Mével / stdpp · GitLab

Snippets Groups Projects

Forked from Iris / stdpp

Source project has a limited visibility.

9 years ago
7dd32d7d
Use new Import/Export syntax everywhere. · 7dd32d7d
Robbert Krebbers authored 9 years ago
```
Also, make our redefinition of done more robust under different
orders of Importing modules.
```
7dd32d7d

History
Use new Import/Export syntax everywhere.
Robbert Krebbers authored 9 years ago
```
Also, make our redefinition of done more robust under different
orders of Importing modules.
```