src/ZF/IsaMakefile
changeset 12207 4dff931b852f
parent 12186 9b7026a0b0ed
child 12229 bfba0eb5124b
equal deleted inserted replaced
12206:60d52181840c 12207:4dff931b852f
   129   Induct/FoldSet.ML Induct/FoldSet.thy Induct/ListN.ML Induct/ListN.thy \
   129   Induct/FoldSet.ML Induct/FoldSet.thy Induct/ListN.ML Induct/ListN.thy \
   130   Induct/Multiset.ML Induct/Multiset.thy Induct/Mutil.thy \
   130   Induct/Multiset.ML Induct/Multiset.thy Induct/Mutil.thy \
   131   Induct/Primrec_defs.ML Induct/Primrec_defs.thy \
   131   Induct/Primrec_defs.ML Induct/Primrec_defs.thy \
   132   Induct/Primrec.ML Induct/Primrec.thy \
   132   Induct/Primrec.ML Induct/Primrec.thy \
   133   Induct/PropLog.ML Induct/PropLog.thy Induct/Rmap.ML Induct/Rmap.thy \
   133   Induct/PropLog.ML Induct/PropLog.thy Induct/Rmap.ML Induct/Rmap.thy \
   134   Induct/document/root.tex
   134   Induct/Term.thy Induct/Tree_Forest.thy Induct/document/root.tex
   135 	@$(ISATOOL) usedir $(OUT)/ZF Induct
   135 	@$(ISATOOL) usedir $(OUT)/ZF Induct
   136 
   136 
   137 
   137 
   138 ## ZF-ex
   138 ## ZF-ex
   139 
   139 
   140 ZF-ex: ZF $(LOG)/ZF-ex.gz
   140 ZF-ex: ZF $(LOG)/ZF-ex.gz
   141 
   141 
   142 $(LOG)/ZF-ex.gz: $(OUT)/ZF ex/ROOT.ML \
   142 $(LOG)/ZF-ex.gz: $(OUT)/ZF ex/ROOT.ML \
   143   ex/BinEx.thy ex/Brouwer.ML ex/Brouwer.thy ex/CoUnit.ML \
   143   ex/BinEx.thy ex/Brouwer.ML ex/Brouwer.thy ex/CoUnit.ML \
   144   ex/CoUnit.thy ex/Commutation.ML ex/Commutation.thy \
   144   ex/CoUnit.thy ex/Commutation.ML ex/Commutation.thy \
   145   ex/Limit.ML ex/Limit.thy  ex/LList.ML ex/LList.thy\
   145   ex/Limit.ML ex/Limit.thy ex/LList.ML ex/LList.thy \
   146   ex/Ntree.ML ex/Ntree.thy ex/Primes.ML ex/Primes.thy\
   146   ex/Ntree.ML ex/Ntree.thy ex/Primes.ML ex/Primes.thy \
   147   ex/NatSum.ML ex/NatSum.thy \
   147   ex/NatSum.ML ex/NatSum.thy ex/Ramsey.ML ex/Ramsey.thy ex/misc.thy
   148   ex/Ramsey.ML ex/Ramsey.thy  ex/TF.ML ex/TF.thy \
       
   149   ex/Term.ML ex/Term.thy ex/misc.thy
       
   150 	@$(ISATOOL) usedir $(OUT)/ZF ex
   148 	@$(ISATOOL) usedir $(OUT)/ZF ex
   151 
   149 
   152 
   150 
   153 ## clean
   151 ## clean
   154 
   152