--- a/doc-src/Logics/logics.tex Thu Aug 10 13:15:15 1995 +0200
+++ b/doc-src/Logics/logics.tex Thu Aug 10 13:16:31 1995 +0200
@@ -47,7 +47,7 @@
\include{intro}
\include{FOL}
\include{ZF}
-\include{CHOL}
+\include{HOL}
\include{LK}
%%\include{Modal}
\include{CTT}