--- a/Paper/Paper.thy	Sun Feb 10 19:49:07 2013 +0000
+++ b/Paper/Paper.thy	Sun Feb 10 20:56:08 2013 +0000
@@ -1296,7 +1296,7 @@
   \begin{center}
   \begin{tabular}{c@ {\hspace{4mm}}c}
   \begin{tabular}{rcl@ {\hspace{4mm}}l}
-  @{term r} & @{text "::="} & @{term z} & (zero-functions)\\
+  @{term r} & @{text "::="} & @{term z} & (zero-function)\\
             & @{text "|"}   & @{term s} & (successor-function)\\
             & @{text "|"}   & @{term "id n m"} & (projection)\\
   \end{tabular} &