src/ZF/IsaMakefile

--- a/src/ZF/IsaMakefile	Sun Jun 06 18:36:36 2004 +0200
+++ b/src/ZF/IsaMakefile	Tue Jun 08 16:22:30 2004 +0200
@@ -146,9 +146,9 @@
 ZF-ex: ZF $(LOG)/ZF-ex.gz
 
 $(LOG)/ZF-ex.gz: $(OUT)/ZF ex/ROOT.ML \
-  ex/BinEx.thy ex/CoUnit.thy ex/Commutation.thy \
+  ex/BinEx.thy ex/CoUnit.thy ex/Commutation.thy ex/Group.thy\
   ex/Limit.thy ex/LList.thy ex/Primes.thy \
-  ex/NatSum.thy ex/Ramsey.thy ex/misc.thy
+  ex/NatSum.thy ex/Ramsey.thy ex/Ring.thy ex/misc.thy
 	@$(ISATOOL) usedir $(OUT)/ZF ex