src/HOL/IsaMakefile
changeset 31733 ec013c3ade5a
parent 31726 ffd2dc631d88
child 31758 3edd5f813f01
     1.1 --- a/src/HOL/IsaMakefile	Sun Jun 21 11:50:26 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sun Jun 21 15:47:41 2009 +0200
     1.3 @@ -494,7 +494,8 @@
     1.4  
     1.5  HOL-NewNumberTheory: HOL $(LOG)/HOL-NewNumberTheory.gz
     1.6  
     1.7 -$(LOG)/HOL-NewNumberTheory.gz: $(OUT)/HOL GCD.thy Library/Multiset.thy	\
     1.8 +$(LOG)/HOL-NewNumberTheory.gz: $(OUT)/HOL $(LOG)/HOL-Algebra.gz \
     1.9 +  GCD.thy Library/Multiset.thy	\
    1.10    NewNumberTheory/Fib.thy NewNumberTheory/Binomial.thy			\
    1.11    NewNumberTheory/Residues.thy NewNumberTheory/UniqueFactorization.thy  \
    1.12    NewNumberTheory/Cong.thy NewNumberTheory/MiscAlgebra.thy \