doc-src/ind-defs.bbl

--- a/doc-src/ind-defs.bbl	Fri Jun 28 11:16:12 1996 +0200
+++ b/doc-src/ind-defs.bbl	Fri Jun 28 11:19:56 1996 +0200
@@ -162,7 +162,9 @@
 \bibitem{slind-tfl}
 Slind, K.,
 \newblock Function definition in higher-order logic,
-\newblock Tech. rep., T. U. Munich, 1996
+\newblock In {\em Theorem Proving in Higher Order Logics\/} (1996), J.~von
+  Wright, Ed.,
+\newblock In press
 
 \bibitem{szasz93}
 Szasz, N.,