Mention Rice's Theorem (no cite).
Changes in section 5 arising from today's meeting.
Change the \authorunning macro to put us in alphabetical order.
Finish Section 5, at least as a first draft.
Given intro, prefer "wavefront number" to "wave number" in Sec. 5
Edits to the Intro; particularly the para that needed "toning down"
Add an emacs annotation to stop its spellchecker complaining about "PseudoC"
Flag what I think is a broken sentence with a \FIXME macro.
Edit to last paragraph of Section 3.
Edits to Section 4.
Conclusion edits; one sentence flagged.
Add a HOL4 cite.
Make ack section a \para; mention github repo for sources