# HG changeset patch
# User immler@in.tum.de
# Date 1231960787 -3600
# Node ID 6cccea7c94d4e4dc8f2a1815c869b5db18325071
# Parent  96599d8d8268ecc1f7ab9c50950ef7b10fbba852
removed useless

diff -r 96599d8d8268 -r 6cccea7c94d4 contrib/SystemOnTPTP/remote
--- a/contrib/SystemOnTPTP/remote	Mon Jan 12 16:16:05 2009 +0100
+++ b/contrib/SystemOnTPTP/remote	Wed Jan 14 20:19:47 2009 +0100
@@ -10,10 +10,6 @@
 #
 # ./remote Vampire---9.0 timelimit file
 # ./remote SPASS---3.01 timelimit file
-# ./remote Metis---2.1 timelimit file
-# ./remote SNARK---20080805r005 timelimit file
-# ./remote Otter---3.3 timelimit file
-# ./remote SOS---2.0 timelimit file
 # ./remote EP---1.0 timelimit file
 
 use warnings;
diff -r 96599d8d8268 -r 6cccea7c94d4 src/HOL/ATP_Linkup.thy
--- a/src/HOL/ATP_Linkup.thy	Mon Jan 12 16:16:05 2009 +0100
+++ b/src/HOL/ATP_Linkup.thy	Wed Jan 14 20:19:47 2009 +0100
@@ -116,16 +116,8 @@
   (AtpWrapper.remote_prover "Vampire---9.0" 90) *}
 setup {* AtpManager.add_prover "remote_spass"
   (AtpWrapper.remote_prover "SPASS---3.01" 90) *}
-setup {* AtpManager.add_prover "remote_metis"
-  (AtpWrapper.remote_prover "Metis---2.1" 90) *}
-setup {* AtpManager.add_prover "remote_snark"
-  (AtpWrapper.remote_prover "SNARK---20080805r005" 90) *}
-setup {* AtpManager.add_prover "remote_otter"
-  (AtpWrapper.remote_prover "Otter---3.3" 90) *}
 setup {* AtpManager.add_prover "remote_e"
   (AtpWrapper.remote_prover "EP---1.0" 90) *}
-setup {* AtpManager.add_prover "remote_sos"
-  (AtpWrapper.remote_prover "SOS---2.0" 90) *}