src/ZF/IsaMakefile
changeset 11042 bb566dd3f927
parent 9647 e9623f47275b
child 11380 e76366922751
     1.1 --- a/src/ZF/IsaMakefile	Sat Feb 03 00:11:07 2001 +0100
     1.2 +++ b/src/ZF/IsaMakefile	Sat Feb 03 12:41:38 2001 +0100
     1.3 @@ -110,8 +110,9 @@
     1.4  
     1.5  $(LOG)/ZF-ex.gz: $(OUT)/ZF ex/Acc.ML ex/Acc.thy ex/BT.ML ex/BT.thy \
     1.6    ex/BinEx.ML ex/Brouwer.ML ex/Brouwer.thy ex/CoUnit.ML \
     1.7 -  ex/CoUnit.thy ex/Comb.ML ex/Comb.thy ex/Data.ML ex/Data.thy ex/Enum.ML \
     1.8 -  ex/Enum.thy ex/LList.ML ex/LList.thy \
     1.9 +  ex/CoUnit.thy ex/Comb.ML ex/Comb.thy ex/Commutation.ML ex/Commutation.thy \
    1.10 +  ex/Data.ML ex/Data.thy ex/Enum.ML ex/Enum.thy \
    1.11 +  ex/LList.ML ex/LList.thy \
    1.12    ex/Limit.ML ex/Limit.thy ex/ListN.ML ex/ListN.thy ex/Mutil.ML \
    1.13    ex/Mutil.thy ex/Ntree.ML ex/Ntree.thy ex/Primes.ML ex/Primes.thy \
    1.14    ex/NatSum.ML ex/NatSum.thy  ex/Primrec_defs.ML ex/Primrec_defs.thy \