# HG changeset patch
# User lcp
# Date 790912874 -3600
# Node ID 0cfc734e3dbda52b07c75c7fc87033e298329227
# Parent  9b7236d774bdfbeeea3819dbf53c3f0724fd4e5d
\bibliography now includes crossref.bib

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}
diff -r 9b7236d774bd -r 0cfc734e3dbd doc-src/Logics/logics.tex
--- 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}
diff -r 9b7236d774bd -r 0cfc734e3dbd doc-src/Ref/ref.tex
--- 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}