changeset 1224 | 3d739c8e2536 |
parent 1182 | 30286ceb9adb |
child 1255 | 0e76adc74e7f |
--- 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.