# HG changeset patch
# User nipkow
# Date 1298733396 -3600
# Node ID 9aae2eed469641655de3e454cf58d0830b186d6c
# Parent  96184364aa6f5fb7536cceda2435f0cafc016325
corrected HOLCF dependency on Nat_Infinity

diff -r 96184364aa6f -r 9aae2eed4696 src/HOL/IsaMakefile
--- 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 \