diff -r 458c4578761f -r 17fc92d33c24 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Jul 28 23:44:18 2010 +0200
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu Jul 29 00:28:57 2010 +0200
@@ -65,10 +65,9 @@
   | string_for_failure OutOfResources = "The ATP ran out of resources."
   | string_for_failure OldSpass =
     "Warning: Isabelle requires a more recent version of SPASS with \
-    \support for the TPTP syntax. To install it, download and untar the \
-    \package \"http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/contrib/\
-    \spass-3.7.tar.gz\" and add the \"spass-3.7\" directory's absolute path \
-    \to " ^
+    \support for the TPTP syntax. To install it, download and extract the \
+    \package \"http://isabelle.in.tum.de/dist/contrib/spass-3.7.tar.gz\" and \
+    \add the \"spass-3.7\" directory's absolute path to " ^
     quote (Path.implode (Path.expand (Path.appends
                (Path.variable "ISABELLE_HOME_USER" ::
                 map Path.basic ["etc", "components"])))) ^