sum_lepoll_self, cadd_le_self, prod_lepoll_self,
cmult_le_self, sum_lepoll_mono, cadd_le_mono, prod_lepoll_mono,
cmult_le_mono, InfCard_cmult_eq, cmult_2: new
well_ord_lepoll_imp_le: renamed to well_ord_lepoll_imp_Card_le
# $Id$
#########################################################################
# #
# Makefile for the report "Isabelle's Object-Logics" #
# #
#########################################################################
FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
../iman.sty ../extra.sty
logics.dvi.gz: $(FILES)
latex209 logics
bibtex logics
latex209 logics
latex209 logics
../sedindex logics
latex209 logics
gzip -f logics.dvi