diff -r 933f35c4e126 -r 1a0b8f529b96 src/HOL/Tools/ATP/scripts/remote_atp
--- a/src/HOL/Tools/ATP/scripts/remote_atp	Tue Jan 17 16:30:54 2012 +0100
+++ b/src/HOL/Tools/ATP/scripts/remote_atp	Tue Jan 17 18:25:36 2012 +0100
@@ -92,6 +92,7 @@
 # Query Server
 my $Agent = LWP::UserAgent->new;
 $Agent->env_proxy;
+$Agent->agent("Sledgehammer");
 if (exists($Options{'t'})) {
   # give server more time to respond
   $Agent->timeout($Options{'t'} + 15);