# HG changeset patch
# User nipkow
# Date 806162023 -7200
# Node ID 30286ceb9adba977708fa7599d2cc4adab6ce098
# Parent  c4e90fb7f8fa3843605ace461ecc1dcafe913802
Updated nipkow-prehofer

diff -r c4e90fb7f8fa -r 30286ceb9adb doc-src/Intro/intro.bbl
--- a/doc-src/Intro/intro.bbl	Fri Jul 07 13:57:43 1995 +0200
+++ b/doc-src/Intro/intro.bbl	Wed Jul 19 15:53:43 1995 +0200
@@ -41,11 +41,8 @@
 
 \bibitem{nipkow-prehofer}
 Tobias Nipkow and Christian Prehofer.
-\newblock Type checking type classes.
-\newblock In {\em 20th Principles of Programming Languages}, pages 409--418.
-  ACM Press, 1993.
-\newblock Revised version to appear in \bgroup\em Journal of Functional
-  Programming\egroup.
+\newblock Type reconstruction for type classes.
+\newblock {\em J. Functional Programming}, 5(2):201--224, 1995.
 
 \bibitem{nordstrom90}
 Bengt {Nordstr\"om}, Kent Petersson, and Jan Smith.
diff -r c4e90fb7f8fa -r 30286ceb9adb doc-src/Ref/ref.bbl
--- a/doc-src/Ref/ref.bbl	Fri Jul 07 13:57:43 1995 +0200
+++ b/doc-src/Ref/ref.bbl	Wed Jul 19 15:53:43 1995 +0200
@@ -36,11 +36,8 @@
 
 \bibitem{nipkow-prehofer}
 Tobias Nipkow and Christian Prehofer.
-\newblock Type checking type classes.
-\newblock In {\em 20th Principles of Programming Languages}, pages 409--418.
-  ACM Press, 1993.
-\newblock Revised version to appear in \bgroup\em Journal of Functional
-  Programming\egroup.
+\newblock Type reconstruction for type classes.
+\newblock {\em J. Functional Programming}, 5(2):201--224, 1995.
 
 \bibitem{nordstrom90}
 Bengt {Nordstr\"om}, Kent Petersson, and Jan Smith.