src/HOL/IsaMakefile
changeset 13939 b3ef90abbd02
parent 13926 6e62e5357a10
child 13943 83d842ccd4aa
     1.1 --- a/src/HOL/IsaMakefile	Wed Apr 30 18:30:57 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Apr 30 18:31:38 2003 +0200
     1.3 @@ -341,9 +341,14 @@
     1.4  HOL-Algebra: HOL $(LOG)/HOL-Algebra.gz
     1.5  
     1.6  $(LOG)/HOL-Algebra.gz: $(OUT)/HOL Algebra/ROOT.ML \
     1.7 +  Algebra/CRing.thy \
     1.8    Algebra/Coset.thy \
     1.9    Algebra/Exponent.thy \
    1.10 +  Algebra/FiniteProduct.thy \
    1.11 +  Algebra/Group.thy \
    1.12 +  Algebra/Module.thy \
    1.13    Algebra/Sylow.thy \
    1.14 +  Algebra/UnivPoly.thy \
    1.15    Algebra/abstract/Abstract.thy \
    1.16    Algebra/abstract/Factor.ML Algebra/abstract/Factor.thy \
    1.17    Algebra/abstract/Field.thy \
    1.18 @@ -355,7 +360,8 @@
    1.19    Algebra/poly/LongDiv.ML Algebra/poly/LongDiv.thy \
    1.20    Algebra/poly/PolyHomo.ML Algebra/poly/PolyHomo.thy \
    1.21    Algebra/poly/Polynomial.thy \
    1.22 -  Algebra/poly/UnivPoly.ML Algebra/poly/UnivPoly.thy
    1.23 +  Algebra/poly/UnivPoly2.ML Algebra/poly/UnivPoly2.thy \
    1.24 +  Algebra/ringsimp.ML
    1.25  	@$(ISATOOL) usedir $(OUT)/HOL Algebra
    1.26  
    1.27  ## HOL-Auth