restyle Platform.thy for all architectures
lsf37 opened this issue · comments
On RISCV64, Platform.thy has nicely consistent, but outdated style.
We should apply the current style guide to this file (and probably the other files in machine/) on all platforms to reduce cognitive dissonance.
(This is a follow-up issue from #617)