--- a/doc-src/Logics/preface.tex Mon May 10 17:02:05 1999 +0200
+++ b/doc-src/Logics/preface.tex Mon May 10 17:07:19 1999 +0200
@@ -30,7 +30,7 @@
system~\cite{paulson87}. It is built upon classical~\FOL{}.
\item[\thydx{HOLCF}] is a version of {\sc lcf}, defined as an extension of
- \texttt{HOL}\@. %FIXME See \cite{MNOS98} for more details on \texttt{HOLCF}.
+ \texttt{HOL}\@. See \cite{MuellerNvOS99} for more details on \texttt{HOLCF}.
\item[\thydx{CTT}] is a version of Martin-L\"of's Constructive Type
Theory~\cite{nordstrom90}, with extensional equality. Universes are not