# HG changeset patch
# User lcp
# Date 806747179 -7200
# Node ID ae58cd15e802a8188a1b3538967316b21180499b
# Parent  d43c1f7a53febca20f47c73ec740e4613ef762b4
trivial updates to header and bibliography

diff -r d43c1f7a53fe -r ae58cd15e802 doc-src/ind-defs.tex
--- 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!}