605

1 
# $Id$


2 
#########################################################################


3 
# #


4 
# Makefile for the report "Isabelle's ObjectLogics" #


5 
# #


6 
#########################################################################


7 


8 

1226

9 
FILES = logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\

3096

10 
../rail.sty ../proof.sty ../iman.sty ../extra.sty

605

11 


12 
logics.dvi.gz: $(FILES)

2661

13 
rm logics.dvi*

3096

14 
latex logics

1683

15 
rail logics

605

16 
bibtex logics

3096

17 
latex logics


18 
latex logics

605

19 
../sedindex logics

3096

20 
latex logics

605

21 
gzip f logics.dvi

2661

22 


23 
dist: $(FILES)


24 
rm logics.dvi*

3096

25 
latex logics


26 
latex logics

2661

27 
../sedindex logics

3096

28 
latex logics
