1.1 --- a/doc-src/Nitpick/nitpick.tex Thu Feb 25 10:08:44 2010 +0100
1.2 +++ b/doc-src/Nitpick/nitpick.tex Thu Feb 25 16:33:39 2010 +0100
1.3 @@ -472,7 +472,7 @@
1.4 \prew
1.5 \textbf{lemma} ``$\forall n.\; \textit{Suc}~n \mathbin{\not=} n \,\Longrightarrow\, P$'' \\
1.6 \textbf{nitpick} [\textit{card~nat}~= 100, \textit{check\_potential}] \\[2\smallskipamount]
1.7 -\slshape Warning: The conjecture either trivially holds for the given scopes or (more likely) lies outside Nitpick's supported
1.8 +\slshape Warning: The conjecture either trivially holds for the given scopes or lies outside Nitpick's supported
1.9 fragment. Only potential counterexamples may be found. \\[2\smallskipamount]
1.10 Nitpick found a potential counterexample: \\[2\smallskipamount]
1.11 \hbox{}\qquad Free variable: \nopagebreak \\