algebra/upred_big_op.v · 4d94262b23f4c02b532b0474a3aebb316cf6c68d · Yixuan Chen / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

9 years ago
4d94262b
Use keywords in the notation of big ops on uPred. · 4d94262b
Robbert Krebbers authored 9 years ago
```
We now have:

  Π★{map Q } ...
  Π★{set Q } ...

to differentiate between sets and maps.
```
4d94262b

History
Use keywords in the notation of big ops on uPred.
Robbert Krebbers authored 9 years ago
```
We now have:

  Π★{map Q } ...
  Π★{set Q } ...

to differentiate between sets and maps.
```