# HG changeset patch
# User haftmann
# Date 1245604792 -7200
# Node ID ce6c75e7ab200df33ddcb720cfa6ffaccb6ec549
# Parent  41788a3ffd6a70ca345a5a468a4bee9c48e13dd3# Parent  5fb12f859de691bebabf05850f2bab17b437f71b
merged

diff -r 41788a3ffd6a -r ce6c75e7ab20 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sun Jun 21 15:46:14 2009 +0200
+++ b/src/HOL/IsaMakefile	Sun Jun 21 19:19:52 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 \