# HG changeset patch
# User wenzelm
# Date 926348839 -7200
# Node ID c2511c9ea37e117c68ec3b54b3ce1c2fbd5a25c4
# Parent  a92d2b6e06262ddb2e3922b088e19706d7b9a496
cite HOLCF;

diff -r a92d2b6e0626 -r c2511c9ea37e doc-src/Logics/preface.tex
--- 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