doc-src/ind-defs.bbl

--- a/doc-src/ind-defs.bbl	Wed Feb 12 18:54:39 1997 +0100
+++ b/doc-src/ind-defs.bbl	Fri Feb 14 10:34:24 1997 +0100
@@ -167,8 +167,7 @@
 \bibitem{paulson-gr}
 Paulson, L.~C., Gr\c{a}bczewski, K.,
 \newblock Mechanizing set theory: Cardinal arithmetic and the axiom of choice,
-\newblock {\em J. Auto. Reas.\/} (1996),
-\newblock In press
+\newblock {\em J. Auto. Reas. {\bf 17}}, 3 (Dec. 1996), 291--323
 
 \bibitem{pitts94}
 Pitts, A.~M.,