--- 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}
--- 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}
--- 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}