--- a/src/Doc/Sledgehammer/document/root.tex Fri Oct 25 13:25:30 2019 +0200
+++ b/src/Doc/Sledgehammer/document/root.tex Fri Oct 25 14:06:02 2019 +0200
@@ -893,9 +893,6 @@
highly experimental first-order resolution prover developed by Daniel Wand.
The remote version of Pirate run on a private server he generously set up.
-\item[\labelitemi] \textbf{\textit{remote\_satallax}:} The remote version of
-Satallax runs on Geoff Sutcliffe's Miami servers \cite{sutcliffe-2000}.
-
\item[\labelitemi] \textbf{\textit{remote\_snark}:} SNARK is a first-order
resolution prover developed by Stickel et al.\ \cite{snark}. It supports the
TPTP typed first-order format (TFF0). The remote version of SNARK runs on