1.1 --- a/src/HOL/IsaMakefile Tue Jul 29 16:14:56 2008 +0200
1.2 +++ b/src/HOL/IsaMakefile Tue Jul 29 16:16:10 2008 +0200
1.3 @@ -504,9 +504,12 @@
1.4
1.5 HOL-Algebra: HOL $(LOG)/HOL-Algebra.gz
1.6
1.7 -$(LOG)/HOL-Algebra.gz: $(OUT)/HOL Algebra/ROOT.ML Library/Primes.thy \
1.8 - Library/FuncSet.thy Algebra/AbelCoset.thy Algebra/Bij.thy \
1.9 - Algebra/Coset.thy Algebra/Exponent.thy Algebra/FiniteProduct.thy \
1.10 +$(LOG)/HOL-Algebra.gz: $(OUT)/HOL Algebra/ROOT.ML \
1.11 + Library/Binomial.thy Library/FuncSet.thy \
1.12 + Library/Multiset.thy Library/Permutation.thy Library/Primes.thy \
1.13 + Algebra/AbelCoset.thy Algebra/Bij.thy Algebra/Congruence.thy \
1.14 + Algebra/Coset.thy Algebra/Divisibility.thy Algebra/Exponent.thy \
1.15 + Algebra/FiniteProduct.thy Algebra/GLattice.thy \
1.16 Algebra/Group.thy Algebra/Ideal.thy Algebra/IntRing.thy \
1.17 Algebra/Lattice.thy Algebra/Module.thy Algebra/QuotRing.thy \
1.18 Algebra/Ring.thy Algebra/RingHom.thy Algebra/Sylow.thy \