# HG changeset patch
# User lcp
# Date 784806085 -3600
# Node ID 04d661f1d2f89e1fecb1c0b5337fd526dfbc1f9c
# Parent  31b1e4f9af306a9f3d1a07595bc29187ab93f718
Added month for Coens thesis

diff -r 31b1e4f9af30 -r 04d661f1d2f8 doc-src/Logics/logics.bbl
--- a/doc-src/Logics/logics.bbl	Fri Nov 11 10:53:41 1994 +0100
+++ b/doc-src/Logics/logics.bbl	Mon Nov 14 10:41:25 1994 +0100
@@ -39,7 +39,7 @@
 \bibitem{coen92}
 Martin~D. Coen.
 \newblock {\em Interactive Program Derivation}.
-\newblock PhD thesis, University of Cambridge, 1992.
+\newblock PhD thesis, University of Cambridge, November 1992.
 \newblock Computer Laboratory Technical Report 272.
 
 \bibitem{constable86}