-
Robbert Krebbers authored
Now we use a specific notation (⊑) to whose arguments we interpret in uPred_scope. This makes notations much more concise.
2e1e15b0
Now we use a specific notation (⊑) to whose arguments we interpret in uPred_scope. This makes notations much more concise.