# HG changeset patch
# User blanchet
# Date 1379974900 -7200
# Node ID 369537953d05250c5d1b1906baed0cab0d220501
# Parent  2967fa35d89e58b86d6b0849bf5361f7224ea814
use forthcoming "primcorec" command

diff -r 2967fa35d89e -r 369537953d05 src/Doc/Nitpick/document/root.tex
--- a/src/Doc/Nitpick/document/root.tex	Tue Sep 24 00:18:22 2013 +0200
+++ b/src/Doc/Nitpick/document/root.tex	Tue Sep 24 00:21:40 2013 +0200
@@ -985,8 +985,8 @@
 The next example is more interesting:
 
 \prew
-\textbf{primcorecursive}~$\textit{iterates}$~\textbf{where} \\
-``$\textit{iterates}~f\>a = \textit{LCons}~a~(\textit{iterates}~f\>(f\>a))$'' \textbf{.} \\[2\smallskipamount]
+\textbf{primcorec}~$\textit{iterates}$~\textbf{where} \\
+``$\textit{iterates}~f\>a = \textit{LCons}~a~(\textit{iterates}~f\>(f\>a))$'' \\[2\smallskipamount]
 \textbf{lemma}~``$\lbrakk\textit{xs} = \textit{LCons}~a~\textit{xs};\>\,
 \textit{ys} = \textit{iterates}~(\lambda b.\> a)~b\rbrakk \,\Longrightarrow\, \textit{xs} = \textit{ys\/}$'' \\
 \textbf{nitpick} [\textit{verbose}] \\[2\smallskipamount]