# HG changeset patch
# User nipkow
# Date 1254408408 -7200
# Node ID 712ad8109fff1bd7ce0ed43abcaf2cda3cf2a423
# Parent  02f412281b99f03f8372473919f16832522780de
made spass additional default prover

diff -r 02f412281b99 -r 712ad8109fff src/HOL/Tools/ATP_Manager/atp_manager.ML
--- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 01 15:19:49 2009 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 01 16:46:48 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;