1.1 --- a/doc-src/HOL/logics-HOL.tex	Wed May 05 14:31:31 1999 +0200
     1.2 +++ b/doc-src/HOL/logics-HOL.tex	Wed May 05 16:44:42 1999 +0200
     1.3 @@ -56,7 +56,6 @@
     1.4  \include{../Logics/syntax}
     1.5  \include{HOL}
     1.6  \bibliographystyle{plain}
     1.7 -\bibliography{../isabelle}
     1.8 -%\bibliography{string,general,atp,theory,funprog,logicprog,isabelle,crossref}
     1.9 +\bibliography{../manual}
    1.10  \input{logics-HOL.ind}
    1.11  \end{document}