doc-src/HOL/logics-HOL.tex
changeset 6588 6e6ca099f68f
parent 6580 ff2c3ffd38ee
child 6592 c120262044b6
--- a/doc-src/HOL/logics-HOL.tex	Tue May 04 19:08:58 1999 +0200
+++ b/doc-src/HOL/logics-HOL.tex	Wed May 05 09:43:53 1999 +0200
@@ -56,6 +56,7 @@
 \include{../Logics/syntax}
 \include{HOL}
 \bibliographystyle{plain}
-\bibliography{string,general,atp,theory,funprog,logicprog,isabelle,crossref}
+\bibliography{../isabelle}
+%\bibliography{string,general,atp,theory,funprog,logicprog,isabelle,crossref}
 \input{logics-HOL.ind}
 \end{document}