--- a/doc-src/Logics/Makefile Thu Aug 10 13:15:15 1995 +0200
+++ b/doc-src/Logics/Makefile Thu Aug 10 13:16:31 1995 +0200
@@ -6,7 +6,7 @@
#########################################################################
-FILES = logics.tex intro.tex FOL.tex ZF.tex CHOL.tex LK.tex CTT.tex\
+FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
../iman.sty ../extra.sty
logics.dvi.gz: $(FILES)
--- 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}