1.1 --- a/doc-src/ZF/logics-ZF.tex	Mon May 08 11:13:11 2000 +0200
     1.2 +++ b/doc-src/ZF/logics-ZF.tex	Mon May 08 11:13:28 2000 +0200
     1.3 @@ -51,5 +51,5 @@
     1.4  \include{ZF}
     1.5  \bibliographystyle{plain}
     1.6  \bibliography{../manual}
     1.7 -\input{logics-ZF.ind}
     1.8 +\printindex
     1.9  \end{document}