# HG changeset patch
# User lcp
# Date 754746527 -3600
# Node ID afbb13cb34caf206ab087bf6e1ef6f710632b9e4
# Parent  921ad94fdddba8d57b7753c0ae84ee9854df0c28
new references

diff -r 921ad94fdddb -r afbb13cb34ca doc-src/Ref/ref.bbl
--- a/doc-src/Ref/ref.bbl	Wed Dec 01 12:45:49 1993 +0100
+++ b/doc-src/Ref/ref.bbl	Wed Dec 01 12:48:47 1993 +0100
@@ -11,6 +11,12 @@
   formula manipulation, with application to the {Church-Rosser Theorem}.
 \newblock {\em Indagationes Mathematicae}, 34:381--392, 1972.
 
+\bibitem{nipkow-prehofer}
+Tobias Nipkow and Christian Prehofer.
+\newblock Type checking type classes.
+\newblock In {\em 20th ACM Symp.\ Principles of Programming Languages}, 1993.
+\newblock To appear.
+
 \bibitem{paulson91}
 Lawrence~C. Paulson.
 \newblock {\em {ML} for the Working Programmer}.