--- a/src/HOL/IsaMakefile Thu May 01 08:39:37 2003 +0200
+++ b/src/HOL/IsaMakefile Thu May 01 10:29:44 2003 +0200
@@ -284,7 +284,6 @@
$(LOG)/HOL-GroupTheory.gz: $(OUT)/HOL \
Library/Primes.thy Library/FuncSet.thy \
- GroupTheory/Bij.thy \
GroupTheory/Group.thy \
GroupTheory/ROOT.ML \
GroupTheory/document/root.tex
@@ -341,6 +340,7 @@
HOL-Algebra: HOL $(LOG)/HOL-Algebra.gz
$(LOG)/HOL-Algebra.gz: $(OUT)/HOL Algebra/ROOT.ML \
+ Algebra/Bij.thy \
Algebra/CRing.thy \
Algebra/Coset.thy \
Algebra/Exponent.thy \