author | immler@in.tum.de |
Wed, 21 Jan 2009 15:22:51 +0100 | |
changeset 29598 | ba7e19085fc5 |
parent 29597 | 0f4f36779ca7 |
child 29599 | c369feeb6bbc |
1.1 --- a/src/HOL/Tools/atp_manager.ML Wed Jan 21 14:57:33 2009 +0100 1.2 +++ b/src/HOL/Tools/atp_manager.ML Wed Jan 21 15:22:51 2009 +0100 1.3 @@ -35,7 +35,7 @@ 1.4 1.5 local 1.6 1.7 -val atps = ref "e remote_e remote_vampire remote_spass"; 1.8 +val atps = ref "e remote_vampire"; 1.9 val max_atps = ref 5; (* ~1 means infinite number of atps *) 1.10 val timeout = ref 100; 1.11