
diff -r 9b7236d774bd -r 0cfc734e3dbd doc-src/Intro/intro.tex
--- 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}




