michaelmcinerney

> Ok, great. Let's do both of these. I'll put up PRs for C. Can I leave the Isabelle side to you? Yes!

I tried to squash that one commit, but I'm not sure what's happened, with all the other merge stuff

Thanks!