l4v
l4v copied to clipboard
restyle Platform.thy for all architectures
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)