
diff -r 7e0b35bed503 -r a2b5c84d590a doc-src/Tutorial/tutorial.bbl
--- a/doc-src/Tutorial/tutorial.bbl	Tue May 04 16:18:16 1999 +0200
+++ b/doc-src/Tutorial/tutorial.bbl	Tue May 04 16:49:24 1999 +0200
@@ -21,7 +21,8 @@
 \bibitem{MuellerNvOS98}
 Olaf M\"uller, Tobias Nipkow, David~von Oheimb, and Oskar Slotosch.
 \newblock {HOLCF = HOL + LCF}.
-\newblock Submitted for publication, 1998.
+\newblock {\em J. Functional Programming}, 1999.
+\newblock To appear.
 
 \bibitem{Isa-Ref-Man}
 Lawrence~C. Paulson.




