diff -r dc93e3a68142 -r 83d842ccd4aa src/HOL/IsaMakefile
--- 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 \