Move listing captions to below their listings
Swap headers and code in appendix code listings
'Conclusion' -> 'Conclusions, Related and Future Work', and swap Review/Related Work
'Review' -> 'A Summary of What Has Been Achieved'
Chapter 8 intro
Chapter 7 summary
Don't start a sentence with a formal symbol
Be more clear on the obligation for Live Cell Invariant and Root Translation
Make 5.1 heading less enigmatic
Pagebreak before defn 5.1.1 to keep it together
Move Fenichel/Yochelson algorithm into a figure
Split the partial correctness proof into a lemma and a proof
Split all partial correctness lemmas into separate lemma and proof
Avoid spilling into margin
Add total correctness lemma before proof in F/C
Move statements of partial and total correctness from lemmas into theorems