made spass additional default prover
authornipkow
Thu Oct 01 16:46:48 2009 +0200 (2009-10-01)
changeset 32824712ad8109fff
parent 32820 02f412281b99
child 32825 314b6a73b55c
made spass additional default prover
src/HOL/Tools/ATP_Manager/atp_manager.ML
     1.1 --- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 01 15:19:49 2009 +0200
     1.2 +++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Thu Oct 01 16:46:48 2009 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4  
     1.5  local
     1.6  
     1.7 -val atps = Unsynchronized.ref "e remote_vampire";
     1.8 +val atps = Unsynchronized.ref "e spass remote_vampire";
     1.9  val max_atps = Unsynchronized.ref 5;   (* ~1 means infinite number of atps *)
    1.10  val timeout = Unsynchronized.ref 60;
    1.11  val full_types = Unsynchronized.ref false;