# HG changeset patch
# User lcp
# Date 781951352 -3600
# Node ID 2b89d17dbd605432112c5172533c757dcb98740f
# Parent  c97f5a7cf76369c18fcd628d98199c926ef80805
Minor reference updates

diff -r c97f5a7cf763 -r 2b89d17dbd60 doc-src/Logics/logics.bbl
--- a/doc-src/Logics/logics.bbl	Wed Oct 12 09:20:17 1994 +0100
+++ b/doc-src/Logics/logics.bbl	Wed Oct 12 09:42:32 1994 +0100
@@ -43,7 +43,7 @@
 \newblock Computer Laboratory Technical Report 272.
 
 \bibitem{constable86}
-R.~L. {Constable et al.}
+R.~L. Constable et~al.
 \newblock {\em Implementing Mathematics with the Nuprl Proof Development
   System}.
 \newblock Prentice-Hall, 1986.
@@ -189,6 +189,7 @@
 \newblock Set theory for verification: {II}. {Induction} and recursion.
 \newblock Technical Report 312, Computer Laboratory, University of Cambridge,
   1993.
+\newblock To appear in Journal of Automated Reasoning.
 
 \bibitem{paulson-final}
 Lawrence~C. Paulson.