-
Robbert Krebbers authored
Instead, I have added subscripts to the inclusion notations. This makes pretty printing much more reliable, and generally even shortens things, as no scope annotations are needed.
026f759e
Instead, I have added subscripts to the inclusion notations. This makes pretty printing much more reliable, and generally even shortens things, as no scope annotations are needed.