diff -r 5c5c68f4610d -r 5be2d1745c61 doc-src/ZF/logics-ZF.tex
--- a/doc-src/ZF/logics-ZF.tex	Mon May 08 11:13:11 2000 +0200
+++ b/doc-src/ZF/logics-ZF.tex	Mon May 08 11:13:28 2000 +0200
@@ -51,5 +51,5 @@
 \include{ZF}
 \bibliographystyle{plain}
 \bibliography{../manual}
-\input{logics-ZF.ind}
+\printindex
 \end{document}