src/ZF/IsaMakefile
changeset 14883 ca000a495448
parent 14093 24382760fd89
child 15083 a471fd1d9961
     1.1 --- a/src/ZF/IsaMakefile	Sun Jun 06 18:36:36 2004 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Tue Jun 08 16:22:30 2004 +0200
     1.3 @@ -146,9 +146,9 @@
     1.4  ZF-ex: ZF $(LOG)/ZF-ex.gz
     1.5  
     1.6  $(LOG)/ZF-ex.gz: $(OUT)/ZF ex/ROOT.ML \
     1.7 -  ex/BinEx.thy ex/CoUnit.thy ex/Commutation.thy \
     1.8 +  ex/BinEx.thy ex/CoUnit.thy ex/Commutation.thy ex/Group.thy\
     1.9    ex/Limit.thy ex/LList.thy ex/Primes.thy \
    1.10 -  ex/NatSum.thy ex/Ramsey.thy ex/misc.thy
    1.11 +  ex/NatSum.thy ex/Ramsey.thy ex/Ring.thy ex/misc.thy
    1.12  	@$(ISATOOL) usedir $(OUT)/ZF ex
    1.13  
    1.14