# HG changeset patch
# User lcp
# Date 782555963 -3600
# Node ID 1e8fea151d2ebd630856d3f4f10ee1ccf4bd8ee8
# Parent  0db578095e6a0a1966cac14a9b99ac87df9f6162
trivial update to reference

diff -r 0db578095e6a -r 1e8fea151d2e doc-src/Logics/logics.bbl
--- a/doc-src/Logics/logics.bbl	Wed Oct 19 09:23:56 1994 +0100
+++ b/doc-src/Logics/logics.bbl	Wed Oct 19 09:39:23 1994 +0100
@@ -140,7 +140,7 @@
 \newblock {\em Theoretical Computer Science}, 87:209--220, 1991.
 
 \bibitem{noel}
-Philippe {No\"el}.
+Philippe No{\"e}l.
 \newblock Experimenting with {Isabelle} in {ZF} set theory.
 \newblock {\em Journal of Automated Reasoning}, 10(1):15--58, 1993.