# HG changeset patch
# User paulson
# Date 885559657 -3600
# Node ID 9e7a32dfc1f2862334c6636299c07f2511adbd72
# Parent  3588b8f9613ff4775b039b61d6febb0930d995a5
Updated MOD reference

diff -r 3588b8f9613f -r 9e7a32dfc1f2 doc-src/Inductive/ind-defs.bbl
--- a/doc-src/Inductive/ind-defs.bbl	Wed Jan 21 15:50:25 1998 +0100
+++ b/doc-src/Inductive/ind-defs.bbl	Fri Jan 23 13:47:37 1998 +0100
@@ -161,8 +161,7 @@
 \newblock Tool support for logics of programs,
 \newblock In {\em Mathematical Methods in Program Development: Summer School
   Marktoberdorf 1996}, M.~Broy, Ed., NATO ASI Series F. Springer, Published
-  1997,
-\newblock In press
+  1997, pp.~461--498
 
 \bibitem{paulson-gr}
 Paulson, L.~C., Gr\c{a}bczewski, K.,