| changeset 28585 | be3c44ac3e86 |
| parent 28573 | 6403f0e16269 |
| child 28592 | 824f8390aaa2 |
--- 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"