src/HOL/IsaMakefile
changeset 27697 bcf941cc3324
parent 27694 31a8e0908b9f
child 27713 95b36bfe7fc4
     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		\