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