# 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.