--- a/src/HOL/IsaMakefile Sun Jun 21 11:50:26 2009 +0200
+++ b/src/HOL/IsaMakefile Sun Jun 21 15:47:41 2009 +0200
@@ -494,7 +494,8 @@
HOL-NewNumberTheory: HOL $(LOG)/HOL-NewNumberTheory.gz
-$(LOG)/HOL-NewNumberTheory.gz: $(OUT)/HOL GCD.thy Library/Multiset.thy \
+$(LOG)/HOL-NewNumberTheory.gz: $(OUT)/HOL $(LOG)/HOL-Algebra.gz \
+ GCD.thy Library/Multiset.thy \
NewNumberTheory/Fib.thy NewNumberTheory/Binomial.thy \
NewNumberTheory/Residues.thy NewNumberTheory/UniqueFactorization.thy \
NewNumberTheory/Cong.thy NewNumberTheory/MiscAlgebra.thy \