Remove todo.
authorMatthijs Kooijman <matthijs@stdin.nl>
Fri, 4 Dec 2009 12:53:26 +0000 (13:53 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Fri, 4 Dec 2009 12:53:26 +0000 (13:53 +0100)
Chapters/Normalization.tex

index 37895b3..6117008 100644 (file)
       Also, since there is only one node in the normal set, it must obviously be
       \emph{deterministic} as well.
 
-    \todo{Add content to these sections}
     \subsection{Termination}
       In general, proving termination of an arbitrary program is a very
       hard problem. \todo{Ref about arbitrary termination} Fortunately,