# HG changeset patch
# User paulson
# Date 808053391 -7200
# Node ID e9c01f251f5d70c5dfa6f195259d952d1e18b560
# Parent  35703accdf31930937667024df6938488535e2e8
Handle renaming of CHOL.tex to HOL.tex

diff -r 35703accdf31 -r e9c01f251f5d doc-src/Logics/Makefile
--- 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) 
diff -r 35703accdf31 -r e9c01f251f5d doc-src/Logics/logics.tex
--- 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}