# HG changeset patch
# User lcp
# Date 785587556 -3600
# Node ID 15c822377c18da1a8bc18827f81368f25da65a78
# Parent  cc4c4eafe6280ae1810bc82ec6d546400ef69956
new reference to HO patterns

diff -r cc4c4eafe628 -r 15c822377c18 doc-src/Ref/ref.bbl
--- a/doc-src/Ref/ref.bbl	Tue Nov 22 23:32:16 1994 +0100
+++ b/doc-src/Ref/ref.bbl	Wed Nov 23 11:45:56 1994 +0100
@@ -1,4 +1,4 @@
-\begin{thebibliography}{1}
+\begin{thebibliography}{10}
 
 \bibitem{bm88book}
 Robert~S. Boyer and J~Strother Moore.
@@ -28,6 +28,12 @@
   Automated Deduction}, pages 366--380. Springer, 1990.
 \newblock LNCS 449.
 
+\bibitem{Nipkow-LICS-93}
+Tobias Nipkow.
+\newblock Functional unification of higher-order patterns.
+\newblock In M.~Vardi, editor, {\em Eighth Annual Symposium on Logic in
+  Computer Science}, pages 64--74. {\sc ieee} Computer Society Press, 1993.
+
 \bibitem{nipkow-prehofer}
 Tobias Nipkow and Christian Prehofer.
 \newblock Type checking type classes.