doc-src/Logics/logics.bbl
changeset 643 1e8fea151d2e
parent 630 2b89d17dbd60
child 707 04d661f1d2f8
--- 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.