isabelle: doc-src/Makefile@24d7e8fb8261 (annotated)

added Classlib.* and Witness.*, moved (and updated) Coind.*, Dagstuhl.*, Dlist.*, Dnat.*, Focus_ex.* and Stream.* from HOLCF/explicit_domains to here adapted several proofs; now they work again. Hope that the following strange errors (when committing) do not matter: rlog error: RCS/Classlib.ML,v: No such file or directory rlog error: RCS/Classlib.thy,v: No such file or directory rlog error: RCS/Coind.ML,v: No such file or directory rlog error: RCS/Coind.thy,v: No such file or directory rlog error: RCS/Dagstuhl.ML,v: No such file or directory rlog error: RCS/Dagstuhl.thy,v: No such file or directory rlog error: RCS/Dlist.ML,v: No such file or directory rlog error: RCS/Dlist.thy,v: No such file or directory rlog error: RCS/Dnat.ML,v: No such file or directory rlog error: RCS/Dnat.thy,v: No such file or directory rlog error: RCS/Focus_ex.ML,v: No such file or directory rlog error: RCS/Focus_ex.thy,v: No such file or directory rlog error: RCS/Stream.ML,v: No such file or directory rlog error: RCS/Stream.thy,v: No such file or directory rlog error: RCS/Witness.ML,v: No such file or directory rlog error: RCS/Witness.thy,v: No such file or directory

602 9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	1	# $Id$
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	2	#########################################################################
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	3	# #
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	4	# Makefile for the report "A Fixedpoint Approach ..." #
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	5	# #
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	6	#########################################################################
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	7
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	8
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	9	FILES = ind-defs.tex iman.sty extra.sty
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	10
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	11	ind-defs.dvi.gz: $(FILES)
1053 a19fbe807f91 Removes (obsolete) target if already present. lcp parents: 602 diff changeset	12	-rm ind-defs.dvi.gz
602 9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	13	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	14	bibtex ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	15	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	16	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	17	gzip -f ind-defs.dvi

author	oheimb
	Fri, 31 Jan 1997 16:56:32 +0100
changeset 2570	24d7e8fb8261
parent 1053	a19fbe807f91
permissions	-rw-r--r--