| changeset 873 | 0cfc734e3dbd |
| parent 349 | 0ddc495e8b83 |
| child 1186 | 906c32af858d |
--- a/doc-src/Ref/ref.tex Tue Jan 24 03:00:32 1995 +0100 +++ b/doc-src/Ref/ref.tex Tue Jan 24 03:01:14 1995 +0100 @@ -56,7 +56,7 @@ \begingroup \bibliographystyle{plain} \small\raggedright\frenchspacing - \bibliography{string,atp,funprog,general,logicprog,isabelle,theory} + \bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref} \endgroup \include{theory-syntax}