# HG changeset patch
# User paulson
# Date 843495048 -7200
# Node ID cd81b719142d12da8aedbcb1024c19e209ff56be
# Parent  968f78b525400d08e442d6ab7d54cb78e81b750f
Removal of reference Nipkow-LICS-93

diff -r 968f78b52540 -r cd81b719142d doc-src/Ref/ref.bbl
--- a/doc-src/Ref/ref.bbl	Mon Sep 23 18:09:53 1996 +0200
+++ b/doc-src/Ref/ref.bbl	Mon Sep 23 18:10:48 1996 +0200
@@ -28,12 +28,6 @@
 \newblock In Mark~E. Stickel, editor, {\em 10th International Conference on
   Automated Deduction}, LNAI 449, pages 366--380. Springer, 1990.
 
-\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 reconstruction for type classes.