--- a/src/HOL/MicroJava/README.html Mon Feb 07 15:14:02 2000 +0100
+++ b/src/HOL/MicroJava/README.html Mon Feb 07 15:28:43 2000 +0100
@@ -23,8 +23,7 @@
<P>
The theory was developed by David von Oheimb, Cornelia Pusch and Tobias
Nipkow as part of the DFG-funded project
-<a href="http://isabelle.in.tum.de/bali/">Bali</a>. A publication on Micro
-Java is in preparation. Until it has appeared, please consult the Bali home
-page for publications.
+<a href="http://isabelle.in.tum.de/bali/">Bali</a>. A publication is
+<a href="http://isabelle.in.tum.de/Bali/papers/MOD99.html">available</a>.
</BODY>
</HTML>