\bibliography now includes crossref.bib
authorlcp
Tue Jan 24 03:01:14 1995 +0100 (1995-01-24)
changeset 8730cfc734e3dbd
parent 872 9b7236d774bd
child 874 2432820efbfe
\bibliography now includes crossref.bib
doc-src/Intro/intro.tex
doc-src/Logics/logics.tex
doc-src/Ref/ref.tex
     1.1 --- a/doc-src/Intro/intro.tex	Tue Jan 24 03:00:32 1995 +0100
     1.2 +++ b/doc-src/Intro/intro.tex	Tue Jan 24 03:01:14 1995 +0100
     1.3 @@ -133,7 +133,7 @@
     1.4  \include{advanced}
     1.5  
     1.6  \bibliographystyle{plain} \small\raggedright\frenchspacing
     1.7 -\bibliography{string,atp,funprog,general,logicprog,isabelle,theory}
     1.8 +\bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref}
     1.9  
    1.10  \input{intro.ind}
    1.11  \end{document}
     2.1 --- a/doc-src/Logics/logics.tex	Tue Jan 24 03:00:32 1995 +0100
     2.2 +++ b/doc-src/Logics/logics.tex	Tue Jan 24 03:01:14 1995 +0100
     2.3 @@ -54,6 +54,6 @@
     2.4  %%\include{Cube}
     2.5  %%\include{LCF}
     2.6  \bibliographystyle{plain}
     2.7 -\bibliography{string,atp,theory,funprog,logicprog,isabelle}
     2.8 +\bibliography{string,atp,theory,funprog,logicprog,isabelle,crossref}
     2.9  \input{logics.ind}
    2.10  \end{document}
     3.1 --- a/doc-src/Ref/ref.tex	Tue Jan 24 03:00:32 1995 +0100
     3.2 +++ b/doc-src/Ref/ref.tex	Tue Jan 24 03:01:14 1995 +0100
     3.3 @@ -56,7 +56,7 @@
     3.4  
     3.5  \begingroup
     3.6    \bibliographystyle{plain} \small\raggedright\frenchspacing
     3.7 -  \bibliography{string,atp,funprog,general,logicprog,isabelle,theory}
     3.8 +  \bibliography{string,atp,funprog,general,logicprog,isabelle,theory,crossref}
     3.9  \endgroup
    3.10  \include{theory-syntax}
    3.11