# HG changeset patch
# User paulson
# Date 855912864 -3600
# Node ID 655dc064a28ca9037b774661c7dca6e5b46e8b19
# Parent  4370e5f0fa3f79a7d044b3c1a8ea193740ff96f2
Updated a reference

diff -r 4370e5f0fa3f -r 655dc064a28c 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.,