--- a/doc-src/Sledgehammer/sledgehammer.tex Thu Apr 21 16:03:13 2011 +0200
+++ b/doc-src/Sledgehammer/sledgehammer.tex Thu Apr 21 18:39:22 2011 +0200
@@ -447,7 +447,7 @@
\item[$\bullet$] \textbf{\textit{z3\_atp}:} This version of Z3 pretends to be an
ATP, exploiting Z3's undocumented support for the TPTP format. It is included
-for experimental purposes. It requires versions 2.18 or above.
+for experimental purposes. It requires version 2.18 or above.
\item[$\bullet$] \textbf{\textit{remote\_e}:} The remote version of E runs
on Geoff Sutcliffe's Miami servers \cite{sutcliffe-2000}.