doc-src/Nitpick/nitpick.tex
changeset 41985 09b75d55008f
parent 41876 03f699556955
child 41992 0e4716fa330a
     1.1 --- a/doc-src/Nitpick/nitpick.tex	Tue Mar 15 13:03:54 2011 +0100
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Tue Mar 15 15:49:42 2011 +0100
     1.3 @@ -2466,12 +2466,12 @@
     1.4  {\small See also \textit{debug} (\S\ref{output-format}).}
     1.5  
     1.6  \opnodefault{need}{term\_list}
     1.7 -Specifies a list of datatype values (ground constructor terms) that should be
     1.8 -part of the subterm-closed subsets used to approximate datatypes. If you know
     1.9 -that a value must necessarily belong to the subset of representable values that
    1.10 -approximates a datatype, specifying it can speed up the search, especially for
    1.11 -high cardinalities. By default, Nitpick inspects the conjecture to infer needed
    1.12 -datatype values.
    1.13 +Specifies a list of datatype values (normally ground constructor terms) that
    1.14 +should be part of the subterm-closed subsets used to approximate datatypes. If
    1.15 +you know that a value must necessarily belong to the subset of representable
    1.16 +values that approximates a datatype, specifying it can speed up the search,
    1.17 +especially for high cardinalities.
    1.18 +%By default, Nitpick inspects the conjecture to infer needed datatype values.
    1.19  
    1.20  \opsmart{total\_consts}{partial\_consts}
    1.21  Specifies whether constants occurring in the problem other than constructors can