Fix some typos in Section 9.2 (Boxes) in the docs.
I've noticed that there are some minor typos in Section 9.2 in iris.pdf; I've changed it in accordance with the source code (base_logic/lib/boxes.v
).
I've noticed that there are some minor typos in Section 9.2 in iris.pdf; I've changed it in accordance with the source code (base_logic/lib/boxes.v
).