src/HOL/HOLCF/IsaMakefile

--- a/src/HOL/HOLCF/IsaMakefile	Tue Jul 19 11:15:38 2011 +0200
+++ b/src/HOL/HOLCF/IsaMakefile	Tue Jul 19 14:35:44 2011 +0200
@@ -134,7 +134,7 @@
 HOLCF-ex: HOLCF $(LOG)/HOLCF-ex.gz
 
 $(LOG)/HOLCF-ex.gz: $(OUT)/HOLCF \
-  ../Library/Nat_Infinity.thy \
+  ../Library/Extended_Nat.thy \
   ex/Concurrency_Monad.thy \
   ex/Dagstuhl.thy \
   ex/Dnat.thy \