--- a/doc-src/Sledgehammer/sledgehammer.tex Tue Jun 22 13:17:59 2010 +0200
+++ b/doc-src/Sledgehammer/sledgehammer.tex Tue Jun 22 14:28:22 2010 +0200
@@ -341,11 +341,6 @@
download page. Sledgehammer requires version 3.5 or above. See
\S\ref{installation} for details.
-\item[$\bullet$] \textbf{\textit{spass\_dfg}:} Same as the above, except that
-Sledgehammer communicates with SPASS using the native DFG syntax rather than the
-TPTP syntax. Sledgehammer requires version 3.0 or above. This ATP is provided
-for compatibility reasons.
-
\item[$\bullet$] \textbf{\textit{vampire}:} Vampire is an ATP developed by
Andrei Voronkov and his colleagues \cite{riazanov-voronkov-2002}. To use
Vampire, set the environment variable \texttt{VAMPIRE\_HOME} to the directory