src/HOL/IsaMakefile
changeset 20318 0e0ea63fe768
parent 19997 fe69952f09f6
child 20325 ec52000deb44
     1.1 --- a/src/HOL/IsaMakefile	Thu Aug 03 14:53:57 2006 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Aug 03 14:57:26 2006 +0200
     1.3 @@ -381,22 +381,27 @@
     1.4  
     1.5  $(LOG)/HOL-Algebra.gz: $(OUT)/HOL Algebra/ROOT.ML \
     1.6    Library/Primes.thy Library/FuncSet.thy \
     1.7 +  Algebra/AbelCoset.thy \
     1.8    Algebra/Bij.thy \
     1.9 -  Algebra/CRing.thy \
    1.10    Algebra/Coset.thy \
    1.11    Algebra/Exponent.thy \
    1.12    Algebra/FiniteProduct.thy \
    1.13    Algebra/Group.thy \
    1.14 +  Algebra/Ideal.thy \
    1.15    Algebra/Lattice.thy \
    1.16    Algebra/Module.thy \
    1.17 +  Algebra/Ring.thy \
    1.18    Algebra/Sylow.thy \
    1.19    Algebra/UnivPoly.thy \
    1.20 +  Algebra/IntRing.thy \
    1.21 +  Algebra/QuotRing.thy \
    1.22 +  Algebra/RingHom.thy \
    1.23    Algebra/abstract/Abstract.thy \
    1.24    Algebra/abstract/Factor.ML Algebra/abstract/Factor.thy \
    1.25    Algebra/abstract/Field.thy \
    1.26 -  Algebra/abstract/Ideal.ML Algebra/abstract/Ideal.thy \
    1.27 +  Algebra/abstract/Ideal2.ML Algebra/abstract/Ideal2.thy \
    1.28    Algebra/abstract/PID.thy \
    1.29 -  Algebra/abstract/Ring.ML Algebra/abstract/Ring.thy \
    1.30 +  Algebra/abstract/Ring2.ML Algebra/abstract/Ring2.thy \
    1.31    Algebra/abstract/RingHomo.ML Algebra/abstract/RingHomo.thy\
    1.32    Algebra/abstract/order.ML \
    1.33    Algebra/document/root.tex \