--- a/src/HOL/Tools/ATP/scripts/remote_atp	Wed Aug 29 20:01:39 2018 +0200
+++ b/src/HOL/Tools/ATP/scripts/remote_atp	Thu Aug 30 18:40:53 2018 +0200
@@ -12,7 +12,7 @@
 use LWP;
 
 my $SystemOnTPTPFormReplyURL =
-  "http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTPFormReply";
+  "http://www.tptp.org/cgi-bin/SystemOnTPTPFormReply";
 
 # default parameters
 my %URLParameters = (