doc-src/Logics/logics.tex
changeset 6592 c120262044b6
parent 6582 75f31d45fb8b
child 6597 56ff27255ac8
--- a/doc-src/Logics/logics.tex	Wed May 05 14:31:31 1999 +0200
+++ b/doc-src/Logics/logics.tex	Wed May 05 16:44:42 1999 +0200
@@ -53,6 +53,6 @@
 %%\include{Cube}
 %%\include{LCF}
 \bibliographystyle{plain}
-\bibliography{bib,string,general,atp,theory,funprog,logicprog,isabelle,crossref}
+\bibliography{../manual}
 \input{logics.ind}
 \end{document}