Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
HOL-Algebra: new dependencies.
authorballarin
Wed, 30 Apr 2003 18:31:38 +0200
changeset 13939 b3ef90abbd02
parent 13938 b033b53d0c1e
child 13940 c67798653056
HOL-Algebra: new dependencies.
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Wed Apr 30 18:30:57 2003 +0200
+++ b/src/HOL/IsaMakefile	Wed Apr 30 18:31:38 2003 +0200
@@ -341,9 +341,14 @@
 HOL-Algebra: HOL $(LOG)/HOL-Algebra.gz
 
 $(LOG)/HOL-Algebra.gz: $(OUT)/HOL Algebra/ROOT.ML \
+  Algebra/CRing.thy \
   Algebra/Coset.thy \
   Algebra/Exponent.thy \
+  Algebra/FiniteProduct.thy \
+  Algebra/Group.thy \
+  Algebra/Module.thy \
   Algebra/Sylow.thy \
+  Algebra/UnivPoly.thy \
   Algebra/abstract/Abstract.thy \
   Algebra/abstract/Factor.ML Algebra/abstract/Factor.thy \
   Algebra/abstract/Field.thy \
@@ -355,7 +360,8 @@
   Algebra/poly/LongDiv.ML Algebra/poly/LongDiv.thy \
   Algebra/poly/PolyHomo.ML Algebra/poly/PolyHomo.thy \
   Algebra/poly/Polynomial.thy \
-  Algebra/poly/UnivPoly.ML Algebra/poly/UnivPoly.thy
+  Algebra/poly/UnivPoly2.ML Algebra/poly/UnivPoly2.thy \
+  Algebra/ringsimp.ML
 	@$(ISATOOL) usedir $(OUT)/HOL Algebra
 
 ## HOL-Auth
isabelle