changeset 6592 | c120262044b6 |
parent 6588 | 6e6ca099f68f |
child 6605 | c2754409919b |
--- a/doc-src/HOL/logics-HOL.tex Wed May 05 14:31:31 1999 +0200 +++ b/doc-src/HOL/logics-HOL.tex Wed May 05 16:44:42 1999 +0200 @@ -56,7 +56,6 @@ \include{../Logics/syntax} \include{HOL} \bibliographystyle{plain} -\bibliography{../isabelle} -%\bibliography{string,general,atp,theory,funprog,logicprog,isabelle,crossref} +\bibliography{../manual} \input{logics-HOL.ind} \end{document}