isabelle: doc-src/Inductive/Makefile@78fa85d44e68 (annotated)

3162 78fa85d44e68 moved here from .. wenzelm parents: diff changeset	1	# $Id$
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	2	#########################################################################
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	3	# #
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	4	# Makefile for the report "A Fixedpoint Approach ..." #
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	5	# #
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	6	#########################################################################
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	7
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	8
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	9	FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	10
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	11	ind-defs.dvi.gz: $(FILES)
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	12	-rm ind-defs.dvi.gz
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	13	latex209 ind-defs
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	14	bibtex ind-defs
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	15	latex209 ind-defs
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	16	latex209 ind-defs
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	17	gzip -f ind-defs.dvi

author	wenzelm
	Mon, 12 May 1997 17:13:12 +0200
changeset 3162	78fa85d44e68
child 3165	80818995eb76
permissions	-rw-r--r--