-
Robbert Krebbers authored
This avoids ambiguity with P and Q that we were using before for both uPreds/iProps and indexed uPreds/iProps.
2c6727dc
This avoids ambiguity with P and Q that we were using before for both uPreds/iProps and indexed uPreds/iProps.