# 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.