1.1 --- a/doc-src/Logics/logics.tex	Thu Aug 10 13:15:15 1995 +0200
     1.2 +++ b/doc-src/Logics/logics.tex	Thu Aug 10 13:16:31 1995 +0200
     1.3 @@ -47,7 +47,7 @@
     1.4  \include{intro}
     1.5  \include{FOL}
     1.6  \include{ZF}
     1.7 -\include{CHOL}
     1.8 +\include{HOL}
     1.9  \include{LK}
    1.10  %%\include{Modal}
    1.11  \include{CTT}