changeset 873 | 0cfc734e3dbd |
parent 348 | 1f5a94209c97 |
child 1186 | 906c32af858d |
--- a/doc-src/Intro/intro.tex Tue Jan 24 03:00:32 1995 +0100 +++ b/doc-src/Intro/intro.tex Tue Jan 24 03:01:14 1995 +0100 @@ -133,7 +133,7 @@ \include{advanced} \bibliographystyle{plain} \small\raggedright\frenchspacing -\bibliography{string,atp,funprog,general,logicprog,isabelle,theory} +\bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref} \input{intro.ind} \end{document}