doc-src/ZF/logics-ZF.tex

--- a/doc-src/ZF/logics-ZF.tex	Mon May 10 15:35:03 1999 +0200
+++ b/doc-src/ZF/logics-ZF.tex	Mon May 10 16:35:22 1999 +0200
@@ -53,7 +53,7 @@
 \end{abstract}
 
 \pagenumbering{roman} \tableofcontents \clearfirst
-\include{../Logics/syntax}
+\input{../Logics/syntax}
 \include{FOL}
 \include{ZF}
 \bibliographystyle{plain}