| changeset 1226 | e9c01f251f5d |
| parent 1163 | c080ff36d24e |
| child 1683 | a5bcaf5894f3 |
--- 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)