1.1 --- a/doc-src/Sledgehammer/sledgehammer.tex	Fri Jul 27 08:52:40 2012 +0200
     1.2 +++ b/doc-src/Sledgehammer/sledgehammer.tex	Fri Jul 27 08:52:40 2012 +0200
     1.3 @@ -909,8 +909,8 @@
     1.4  
     1.5  \item[\labelitemi] \textbf{\textit{z3\_tptp}:} This version of Z3 pretends to be
     1.6  an ATP, exploiting Z3's support for the TPTP untyped and typed first-order
     1.7 -formats (FOF and TFF0). It is included for experimental purposes. It
     1.8 -requires version 3.0 or above. To use it, set the environment variable
     1.9 +formats (FOF and TFF0). It is included for experimental purposes. Sledgehammer
    1.10 +requires version 4.0 or above. To use it, set the environment variable
    1.11  \texttt{Z3\_HOME} to the directory that contains the \texttt{z3}
    1.12  executable.
    1.13  \end{enum}