equal
deleted
inserted
replaced
10 ## dependencies |
10 ## dependencies |
11 |
11 |
12 include ../Makefile.in |
12 include ../Makefile.in |
13 |
13 |
14 NAME = logics-ZF |
14 NAME = logics-ZF |
15 FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex \ |
15 FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty\ |
16 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib |
16 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib |
17 |
17 |
18 dvi: $(NAME).dvi |
18 dvi: $(NAME).dvi |
19 |
19 |
20 $(NAME).dvi: $(FILES) isabelle_zf.eps |
20 $(NAME).dvi: $(FILES) isabelle_zf.eps |