1.1 --- a/doc-src/Nitpick/nitpick.tex	Sun Apr 25 00:10:30 2010 +0200
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Sun Apr 25 00:25:44 2010 +0200
     1.3 @@ -2190,12 +2190,6 @@
     1.4  {\small See also \textit{overlord} (\S\ref{mode-of-operation}) and
     1.5  \textit{batch\_size} (\S\ref{optimizations}).}
     1.6  
     1.7 -\optrue{show\_skolems}{hide\_skolem}
     1.8 -Specifies whether the values of Skolem constants should be displayed as part of
     1.9 -counterexamples. Skolem constants correspond to bound variables in the original
    1.10 -formula and usually help us to understand why the counterexample falsifies the
    1.11 -formula.
    1.12 -
    1.13  \opfalse{show\_datatypes}{hide\_datatypes}
    1.14  Specifies whether the subsets used to approximate (co)in\-duc\-tive datatypes should
    1.15  be displayed as part of counterexamples. Such subsets are sometimes helpful when
    1.16 @@ -2209,8 +2203,8 @@
    1.17  genuine, but they can clutter the output.
    1.18  
    1.19  \opfalse{show\_all}{dont\_show\_all}
    1.20 -Enabling this option effectively enables \textit{show\_skolems},
    1.21 -\textit{show\_datatypes}, and \textit{show\_consts}.
    1.22 +Enabling this option effectively enables \textit{show\_datatypes} and
    1.23 +\textit{show\_consts}.
    1.24  
    1.25  \opdefault{max\_potential}{int}{$\mathbf{1}$}
    1.26  Specifies the maximum number of potential counterexamples to display. Setting