# HG changeset patch
# User paulson
# Date 861356831 -7200
# Node ID aa5aeb6467c6e3c56e685007118ceafd342ce5e2
# Parent  98ad57d99427975f4526c45dbb9cfbf4d8b0063e
Automatic update

diff -r 98ad57d99427 -r aa5aeb6467c6 doc-src/ind-defs.bbl
--- a/doc-src/ind-defs.bbl	Thu Apr 17 19:05:01 1997 +0200
+++ b/doc-src/ind-defs.bbl	Fri Apr 18 11:47:11 1997 +0200
@@ -156,8 +156,7 @@
 \bibitem{paulson-coind}
 Paulson, L.~C.,
 \newblock Mechanizing coinduction and corecursion in higher-order logic,
-\newblock {\em J. Logic and Comput. {\bf 7}}, 2 (Mar. 1997),
-\newblock In press
+\newblock {\em J. Logic and Comput. {\bf 7}}, 2 (Mar. 1997), 175--204
 
 \bibitem{paulson-final}
 Paulson, L.~C.,
@@ -190,8 +189,8 @@
 \bibitem{slind-tfl}
 Slind, K.,
 \newblock Function definition in higher-order logic,
-\newblock In {\em Theorem Proving in Higher Order Logics\/} (1996), J.~von
-  Wright, J.~Grundy, J.~Harrison, Eds., LNCS 1125
+\newblock In {\em Theorem Proving in Higher Order Logics: {TPHOLs} '96\/}
+  (1996), J.~von Wright, J.~Grundy, J.~Harrison, Eds., LNCS 1125
 
 \bibitem{szasz93}
 Szasz, N.,