# HG changeset patch
# User paulson
# Date 835953596 -7200
# Node ID 91e0395adc72fa31653a21fa42684f5ef22f66c6
# Parent  ce5dc74dec972701b05afb89c8616cf958a9a8a0
Updated reference to Slinds paper on TFL

diff -r ce5dc74dec97 -r 91e0395adc72 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.,