--- a/src/HOL/IsaMakefile Fri Feb 25 22:07:56 2011 +0100
+++ b/src/HOL/IsaMakefile Sat Feb 26 16:16:36 2011 +0100
@@ -1530,6 +1530,7 @@
HOLCF-Library: HOLCF $(LOG)/HOLCF-Library.gz
$(LOG)/HOLCF-Library.gz: $(OUT)/HOLCF \
+ Library/Nat_Infinity.thy \
HOLCF/Library/Defl_Bifinite.thy \
HOLCF/Library/Bool_Discrete.thy \
HOLCF/Library/Char_Discrete.thy \
@@ -1563,7 +1564,6 @@
HOLCF-ex: HOLCF $(LOG)/HOLCF-ex.gz
$(LOG)/HOLCF-ex.gz: $(OUT)/HOLCF \
- Library/Nat_Infinity.thy \
HOLCF/ex/Dagstuhl.thy \
HOLCF/ex/Dnat.thy \
HOLCF/ex/Domain_Proofs.thy \