Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Tue, 14 Oct 2008 15:16:09 +0200
changeset 28585 be3c44ac3e86
parent 28584 58ac551ce1ce
child 28586 d238b83ba3fc
tuned comments;
src/HOL/ATP_Linkup.thy file | annotate | diff | comparison | revisions 
--- 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"
isabelle