diff -r a645a0e6d790 -r 6ac3172985d4 src/HOL/Tools/ATP/scripts/remote_atp
--- a/src/HOL/Tools/ATP/scripts/remote_atp	Fri Jun 26 00:14:10 2015 +0200
+++ b/src/HOL/Tools/ATP/scripts/remote_atp	Fri Jun 26 11:08:33 2015 +0200
@@ -12,7 +12,7 @@
 use LWP;
 
 my $SystemOnTPTPFormReplyURL =
-  "http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTPFormReply";
+  "http://pages.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTPFormReply";
 
 # default parameters
 my %URLParameters = (