
diff -r 71fdbffe3275 -r b426cbdb5a23 doc-src/Sledgehammer/sledgehammer.tex
--- 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




