# HG changeset patch
# User paulson
# Date 826020048 -3600
# Node ID efbc887dfefb0dd8a1b4893da7c6e654fe70fe71
# Parent  681a5d04393e6a5907fc1715728eeaf95295c28c
More up-to-date references

diff -r 681a5d04393e -r efbc887dfefb doc-src/Logics/logics.bbl
--- a/doc-src/Logics/logics.bbl	Tue Mar 05 10:58:52 1996 +0100
+++ b/doc-src/Logics/logics.bbl	Tue Mar 05 11:00:48 1996 +0100
@@ -21,7 +21,7 @@
 \bibitem{boyer86}
 Robert Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark Stickel, and
   Lawrence Wos.
-\newblock Set theory in first-order logic: Clauses for {G\"odel's} axioms.
+\newblock Set theory in first-order logic: Clauses for {G\"{o}del's} axioms.
 \newblock {\em Journal of Automated Reasoning}, 2(3):287--327, 1986.
 
 \bibitem{camilleri92}
@@ -110,7 +110,7 @@
 \newblock North-Holland, 1980.
 
 \bibitem{alf}
-Lena Magnusson and Bengt {Nordstr\"om}.
+Lena Magnusson and Bengt {Nordstr\"{o}m}.
 \newblock The {ALF} proof editor and its proof engine.
 \newblock In Henk Barendregt and Tobias Nipkow, editors, {\em Types for Proofs
   and Programs: International Workshop {TYPES '93}}, LNCS 806, pages 213--237.
@@ -209,7 +209,7 @@
 
 \bibitem{quaife92}
 Art Quaife.
-\newblock Automated deduction in {von Neumann-Bernays-G\"odel} set theory.
+\newblock Automated deduction in {von Neumann-Bernays-G\"{o}del} set theory.
 \newblock {\em Journal of Automated Reasoning}, 8(1):91--147, 1992.
 
 \bibitem{suppes72}