src/ZF/IsaMakefile
changeset 9647 e9623f47275b
parent 9578 ab26d6c8ebfe
child 11042 bb566dd3f927
     1.1 --- a/src/ZF/IsaMakefile	Fri Aug 18 12:30:41 2000 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Fri Aug 18 12:31:20 2000 +0200
     1.3 @@ -114,7 +114,7 @@
     1.4    ex/Enum.thy ex/LList.ML ex/LList.thy \
     1.5    ex/Limit.ML ex/Limit.thy ex/ListN.ML ex/ListN.thy ex/Mutil.ML \
     1.6    ex/Mutil.thy ex/Ntree.ML ex/Ntree.thy ex/Primes.ML ex/Primes.thy \
     1.7 -  ex/Primrec_defs.ML ex/Primrec_defs.thy \
     1.8 +  ex/NatSum.ML ex/NatSum.thy  ex/Primrec_defs.ML ex/Primrec_defs.thy \
     1.9    ex/Primrec.ML ex/Primrec.thy ex/PropLog.ML ex/PropLog.thy ex/ROOT.ML \
    1.10    ex/Ramsey.ML ex/Ramsey.thy ex/Rmap.ML ex/Rmap.thy ex/TF.ML ex/TF.thy \
    1.11    ex/Term.ML ex/Term.thy ex/misc.ML