--- 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;
--- 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) *}