changeset 873 | 0cfc734e3dbd |
parent 465 | d4bf81734dfe |
child 1113 | dd7284573601 |
--- a/doc-src/Logics/logics.tex Tue Jan 24 03:00:32 1995 +0100 +++ b/doc-src/Logics/logics.tex Tue Jan 24 03:01:14 1995 +0100 @@ -54,6 +54,6 @@ %%\include{Cube} %%\include{LCF} \bibliographystyle{plain} -\bibliography{string,atp,theory,funprog,logicprog,isabelle} +\bibliography{string,atp,theory,funprog,logicprog,isabelle,crossref} \input{logics.ind} \end{document}