Updated MOD reference
authorpaulson
Fri, 23 Jan 1998 13:47:37 +0100
changeset 4585 9e7a32dfc1f2
parent 4584 3588b8f9613f
child 4586 6d0c1b2dc717
Updated MOD reference
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.,