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