doc-src/ZF/logics-ZF.tex
changeset 6592 c120262044b6
parent 6579 d0c6bb2577b1
child 6623 021728c71030
--- a/doc-src/ZF/logics-ZF.tex	Wed May 05 14:31:31 1999 +0200
+++ b/doc-src/ZF/logics-ZF.tex	Wed May 05 16:44:42 1999 +0200
@@ -57,6 +57,6 @@
 \include{FOL}
 \include{ZF}
 \bibliographystyle{plain}
-\bibliography{string,general,atp,theory,funprog,logicprog,isabelle,crossref}
+\bibliography{../manual}
 \input{logics-ZF.ind}
 \end{document}