# HG changeset patch
# User nipkow
# Date 1245592061 -7200
# Node ID ec013c3ade5a48d41db5299e66662673fa1fadc4
# Parent  052399f580cfe701625c16b8248aa61a9532c573
fixed NewNumberTheory deps

diff -r 052399f580cf -r ec013c3ade5a src/HOL/IsaMakefile
--- 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 \