
diff -r 7b87c95fdf3b -r ab004c0ecc63 src/HOL/NanoJava/document/root.tex
--- a/src/HOL/NanoJava/document/root.tex	Mon Sep 17 19:49:09 2001 +0200
+++ b/src/HOL/NanoJava/document/root.tex	Fri Sep 21 18:23:15 2001 +0200
@@ -36,7 +36,8 @@
   implements a new approach for handling auxiliary variables.
   A more complex Hoare logic covering a much larger subset of Java is described
   in \cite{DvO-CPE01}.\\
-See also the homepage of project Bali at \url{http://isabelle.in.tum.de/Bali/}.
+See also the homepage of project Bali at \url{http://isabelle.in.tum.de/Bali/}
+and the conference version of this document \cite{NanoJava}.
 \end{abstract}
 
 \tableofcontents




