diff -r b666aabe866b -r 94ada3b54caa doc-src/ind-defs.bbl
--- a/doc-src/ind-defs.bbl	Tue Jul 25 16:34:22 1995 +0200
+++ b/doc-src/ind-defs.bbl	Tue Jul 25 16:43:55 1995 +0200
@@ -113,7 +113,8 @@
 \bibitem{paulson-set-II}
 Paulson, L.~C.,
 \newblock Set theory for verification: {II}. {Induction} and recursion,
-\newblock Tech. Rep. 312, Comp. Lab., Univ. Cambridge, 1993
+\newblock Tech. Rep. 312, Comp. Lab., Univ. Cambridge, 1993,
+\newblock To appear in J. Auto. Reas.
 
 \bibitem{paulson-final}
 Paulson, L.~C.,