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