# 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 \