-
Robbert Krebbers authored
- Consistent notation for ↦ of the C language: `x ↦C[lv]{q] v`, which is not redefined in every file. - Many useless stylistic changes.
15062624
- Consistent notation for ↦ of the C language: `x ↦C[lv]{q] v`, which is not redefined in every file. - Many useless stylistic changes.