| changeset 1163 | c080ff36d24e |
| parent 1053 | a19fbe807f91 |
| child 1226 | e9c01f251f5d |
--- a/doc-src/Logics/Makefile Thu Jun 29 12:08:44 1995 +0200 +++ b/doc-src/Logics/Makefile Thu Jun 29 12:28:27 1995 +0200 @@ -6,7 +6,7 @@ ######################################################################### -FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\ +FILES = logics.tex intro.tex FOL.tex ZF.tex CHOL.tex LK.tex CTT.tex\ ../iman.sty ../extra.sty logics.dvi.gz: $(FILES)