merged

--- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 01 16:43:19 2009 +0100
+++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 01 18:58:47 2009 +0200
@@ -41,7 +41,7 @@
 
 local
 
-val atps = Unsynchronized.ref "e remote_vampire";
+val atps = Unsynchronized.ref "e spass remote_vampire";
 val max_atps = Unsynchronized.ref 5;   (* ~1 means infinite number of atps *)
 val timeout = Unsynchronized.ref 60;
 val full_types = Unsynchronized.ref false;