--- a/doc-src/Logics/logics.tex Tue May 09 10:42:23 1995 +0200
+++ b/doc-src/Logics/logics.tex Tue May 09 10:43:19 1995 +0200
@@ -47,7 +47,7 @@
\include{intro}
\include{FOL}
\include{ZF}
-\include{HOL}
+\include{CHOL}
\include{LK}
%%\include{Modal}
\include{CTT}