# HG changeset patch
# User wenzelm
# Date 925836943 -7200
# Node ID d5eae11efa42bfa2fd70d209578518c56cd5cdb8
# Parent  5569f26726621bf3746a5ba296cafc1dc6d026f1
removed HOL.tex;

diff -r 5569f2672662 -r d5eae11efa42 doc-src/Logics/Makefile
--- a/doc-src/Logics/Makefile	Tue May 04 18:27:36 1999 +0200
+++ b/doc-src/Logics/Makefile	Tue May 04 18:55:43 1999 +0200
@@ -6,7 +6,7 @@
 #########################################################################
 
 
-FILES =  logics.tex preface.tex syntax.tex HOL.tex LK.tex CTT.tex\
+FILES =  logics.tex preface.tex syntax.tex LK.tex CTT.tex\
 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
 
 logics.dvi.gz:   $(FILES)