--- a/doc-src/Logics/preface.tex Mon Aug 28 13:50:24 2000 +0200
+++ b/doc-src/Logics/preface.tex Mon Aug 28 13:52:38 2000 +0200
@@ -23,11 +23,11 @@
\begin{ttdescription}
\item[\thydx{CCL}] is Martin Coen's Classical Computational Logic,
which is the basis of a preliminary method for deriving programs from
- proofs~\cite{coen92}. It is built upon classical~\FOL{}.
+ proofs~\cite{coen92}. It is built upon classical~FOL.
\item[\thydx{LCF}] is a version of Scott's Logic for Computable
Functions, which is also implemented by the~{\sc lcf}
- system~\cite{paulson87}. It is built upon classical~\FOL{}.
+ 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}\@. See \cite{MuellerNvOS99} for more details on \texttt{HOLCF}.