diff -r ee7c3c0b0d13 -r 685d1f0f75b3 src/HOL/Tools/ATP/scripts/remote_atp
--- a/src/HOL/Tools/ATP/scripts/remote_atp	Wed Jul 28 22:18:35 2010 +0200
+++ b/src/HOL/Tools/ATP/scripts/remote_atp	Wed Jul 28 23:01:27 2010 +0200
@@ -101,7 +101,7 @@
   print $Response->content;
   exit (0);
 } elsif ($Response->content =~ /WARNING: (\S*) does not exist/) {
-  print "Specified System $1 does not exist\n";
+  print "Specified system $1 does not exist\n";
   exit(-1);
 } else {
   print $Response->content;