Hints from Johan/Jakob on what there should be in the report.

report/master.tex

@@ -38,6 +38,12 @@
 \newcommand{\NN}{\mathbb{N}}
 \newcommand{\ZZ}{\mathbb{Z}}
 
+\fixme{Write an abstract.}
+\fixme{Motivating introduction}
+\fixme{Overview where censor can view all of the report}
+\fixme{Expectations}
+\fixme{Think about readability of the report}
+\fixme{Examples of carrying out proofs in \coq{}}
 \fixme{Ispell from here once everything is finished}
 \input{intro}
 \input{cocext}
@@ -49,6 +55,7 @@
 \fixme{Read through J, correcting}
 \input{fulljanus}
 \fixme{Read through FW, correcting}
+\fixme{Change further work to related work}
 \input{furtherwork}
 \fixme{Read through Conc., correcting}
 \input{conclusion}