src/HOL/Tools/ATP_Manager/atp_manager.ML

--- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Fri Apr 23 12:24:30 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Fri Apr 23 16:12:57 2010 +0200
@@ -112,7 +112,7 @@
 val message_store_limit = 20;
 val message_display_limit = 5;
 
-val atps = Unsynchronized.ref ""; (* set in "ATP_Wrapper" *)
+val atps = Unsynchronized.ref "e spass remote_vampire"; (* set in "ATP_Wrapper" *)
 val timeout = Unsynchronized.ref 60;
 val full_types = Unsynchronized.ref false;