Forked from
Iris / Iris
5371 commits behind the upstream repository.
-
Robbert Krebbers authored
This avoids ambiguity with P and Q that we were using before for both uPreds/iProps and indexed uPreds/iProps.
Robbert Krebbers authoredThis avoids ambiguity with P and Q that we were using before for both uPreds/iProps and indexed uPreds/iProps.
