--- a/doc-src/ZF/document/root.tex	Tue Aug 28 16:14:35 2012 +0200
+++ b/doc-src/ZF/document/root.tex	Tue Aug 28 16:18:23 2012 +0200
@@ -78,11 +78,11 @@
 \pagenumbering{arabic} 
 \setcounter{page}{1} 
 \input{syntax}
-\include{FOL}
-\include{ZF}
+\input{FOL}
+\input{ZF}
 
 \isabellestyle{literal}
-\include{ZF_Isar}
+\input{ZF_Isar}
 \isabellestyle{tt}
 
 \bibliographystyle{plain}