--- a/doc-src/ind-defs.tex Tue Jul 25 17:31:53 1995 +0200
+++ b/doc-src/ind-defs.tex Wed Jul 26 10:26:19 1995 +0200
@@ -1,4 +1,4 @@
-\documentstyle[a4,proof,iman,extra,12pt]{llncs}
+\documentstyle[a4,proof209,iman,extra,12pt]{llncs}
\newif\ifCADE
\CADEfalse
@@ -1333,7 +1333,7 @@
\bibliographystyle{springer}
-\bibliography{string-abbrv,atp,theory,funprog,isabelle}
+\bibliography{string-abbrv,atp,theory,funprog,isabelle,crossref}
%%%%%\doendnotes
\ifCADE\typeout{****Omitting appendices from CADE version!}