diff -r a81d18b0a9b1 -r f32931b93686 src/HOL/MicroJava/README.html
--- 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>