# HG changeset patch
# User wenzelm
# Date 1187436738 -7200
# Node ID 2477286fcc7e936a91dae1f080192f494177a470
# Parent  fef33067272bcb9f6e7407faafcc5b3801636980
renamed ResAtpMethods.setup;

diff -r fef33067272b -r 2477286fcc7e src/HOL/ATP_Linkup.thy
--- a/src/HOL/ATP_Linkup.thy	Sat Aug 18 00:22:22 2007 +0200
+++ b/src/HOL/ATP_Linkup.thy	Sat Aug 18 13:32:18 2007 +0200
@@ -102,7 +102,7 @@
 oracle spass_oracle ("string * int") = {* ResAtpProvers.spass_o *}
 
 use "Tools/res_atp_methods.ML"
-setup ResAtpMethods.ResAtps_setup
+setup ResAtpMethods.setup
 
 
 subsection {* The Metis prover *}