# HG changeset patch
# User paulson
# Date 808053274 -7200
# Node ID 3d739c8e253604119b71677c252085c28828ef06
# Parent  53e4b22aa1f28ca6ccb2c33c3ecfffd68020256f
Trivial reformatting of reference

diff -r 53e4b22aa1f2 -r 3d739c8e2536 doc-src/Intro/intro.bbl
--- a/doc-src/Intro/intro.bbl	Tue Aug 08 09:27:02 1995 +0200
+++ b/doc-src/Intro/intro.bbl	Thu Aug 10 13:14:34 1995 +0200
@@ -42,7 +42,7 @@
 \bibitem{nipkow-prehofer}
 Tobias Nipkow and Christian Prehofer.
 \newblock Type reconstruction for type classes.
-\newblock {\em J. Functional Programming}, 5(2):201--224, 1995.
+\newblock {\em Journal of Functional Programming}, 5(2):201--224, 1995.
 
 \bibitem{nordstrom90}
 Bengt {Nordstr\"om}, Kent Petersson, and Jan Smith.
diff -r 53e4b22aa1f2 -r 3d739c8e2536 doc-src/Ref/ref.bbl
--- a/doc-src/Ref/ref.bbl	Tue Aug 08 09:27:02 1995 +0200
+++ b/doc-src/Ref/ref.bbl	Thu Aug 10 13:14:34 1995 +0200
@@ -37,7 +37,7 @@
 \bibitem{nipkow-prehofer}
 Tobias Nipkow and Christian Prehofer.
 \newblock Type reconstruction for type classes.
-\newblock {\em J. Functional Programming}, 5(2):201--224, 1995.
+\newblock {\em Journal of Functional Programming}, 5(2):201--224, 1995.
 
 \bibitem{nordstrom90}
 Bengt {Nordstr\"om}, Kent Petersson, and Jan Smith.