# HG changeset patch
# User wenzelm
# Date 1223990169 -7200
# Node ID be3c44ac3e866c43d6f60459ba660ca54c74af3f
# Parent  58ac551ce1ce1323f195fe40f8443f50a26eea0f
tuned comments;

diff -r 58ac551ce1ce -r be3c44ac3e86 src/HOL/ATP_Linkup.thy
--- a/src/HOL/ATP_Linkup.thy	Tue Oct 14 13:24:07 2008 +0200
+++ b/src/HOL/ATP_Linkup.thy	Tue Oct 14 15:16:09 2008 +0200
@@ -89,7 +89,7 @@
 done
 
 
-subsection {* Setup of Vampire, E prover and SPASS *}
+subsection {* Setup of external ATPs *}
 
 use "Tools/res_axioms.ML" setup ResAxioms.setup
 use "Tools/res_hol_clause.ML"