# HG changeset patch
# User immler@in.tum.de
# Date 1232547771 -3600
# Node ID ba7e19085fc50c5c6b5566c7bea59034365d7233
# Parent  0f4f36779ca731797bee79b64653ed8447f09cb5
2 provers

diff -r 0f4f36779ca7 -r ba7e19085fc5 src/HOL/Tools/atp_manager.ML
--- a/src/HOL/Tools/atp_manager.ML	Wed Jan 21 14:57:33 2009 +0100
+++ b/src/HOL/Tools/atp_manager.ML	Wed Jan 21 15:22:51 2009 +0100
@@ -35,7 +35,7 @@
 
 local
 
-val atps = ref "e remote_e remote_vampire remote_spass";
+val atps = ref "e remote_vampire";
 val max_atps = ref 5;   (* ~1 means infinite number of atps *)
 val timeout = ref 100;