Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorhaftmann
Sun, 21 Jun 2009 19:19:52 +0200
changeset 31743 ce6c75e7ab20
parent 31741 41788a3ffd6a (current diff)
parent 31742 5fb12f859de6 (diff)
child 31744 dc3c2d52b642
merged
--- 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 \
isabelle