src/ZF/IsaMakefile
changeset 15201 d73f9d49d835
parent 15083 a471fd1d9961
child 15202 d14a6e421a65
     1.1 --- a/src/ZF/IsaMakefile	Mon Sep 13 09:57:25 2004 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Fri Sep 17 16:08:52 2004 +0200
     1.3 @@ -135,7 +135,7 @@
     1.4  $(LOG)/ZF-Induct.gz: $(OUT)/ZF  Induct/ROOT.ML Induct/Acc.thy \
     1.5    Induct/Binary_Trees.thy Induct/Brouwer.thy Induct/Comb.thy \
     1.6    Induct/Datatypes.thy Induct/FoldSet.thy \
     1.7 -  Induct/ListN.thy Induct/Multiset.ML Induct/Multiset.thy Induct/Mutil.thy \
     1.8 +  Induct/ListN.thy Induct/Multiset.thy Induct/Mutil.thy \
     1.9    Induct/Ntree.thy Induct/Primrec.thy Induct/PropLog.thy Induct/Rmap.thy \
    1.10    Induct/Term.thy Induct/Tree_Forest.thy Induct/document/root.tex
    1.11  	@$(ISATOOL) usedir $(OUT)/ZF Induct