--- a/src/HOL/ATP_Linkup.thy Mon May 04 14:49:51 2009 +0200
+++ b/src/HOL/ATP_Linkup.thy Mon May 04 23:37:39 2009 +0200
@@ -17,6 +17,7 @@
("Tools/res_atp.ML")
("Tools/atp_manager.ML")
("Tools/atp_wrapper.ML")
+ ("Tools/atp_minimal.ML")
"~~/src/Tools/Metis/metis.ML"
("Tools/metis_tools.ML")
begin
@@ -98,6 +99,8 @@
use "Tools/atp_manager.ML"
use "Tools/atp_wrapper.ML"
+use "Tools/atp_minimal.ML"
+
text {* basic provers *}
setup {* AtpManager.add_prover "spass" AtpWrapper.spass *}
setup {* AtpManager.add_prover "vampire" AtpWrapper.vampire *}