Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 20318 0e0ea63fe768
parent 19997 fe69952f09f6
child 20325 ec52000deb44 
--- a/src/HOL/IsaMakefile	Thu Aug 03 14:53:57 2006 +0200
+++ b/src/HOL/IsaMakefile	Thu Aug 03 14:57:26 2006 +0200
@@ -381,22 +381,27 @@
 
 $(LOG)/HOL-Algebra.gz: $(OUT)/HOL Algebra/ROOT.ML \
   Library/Primes.thy Library/FuncSet.thy \
+  Algebra/AbelCoset.thy \
   Algebra/Bij.thy \
-  Algebra/CRing.thy \
   Algebra/Coset.thy \
   Algebra/Exponent.thy \
   Algebra/FiniteProduct.thy \
   Algebra/Group.thy \
+  Algebra/Ideal.thy \
   Algebra/Lattice.thy \
   Algebra/Module.thy \
+  Algebra/Ring.thy \
   Algebra/Sylow.thy \
   Algebra/UnivPoly.thy \
+  Algebra/IntRing.thy \
+  Algebra/QuotRing.thy \
+  Algebra/RingHom.thy \
   Algebra/abstract/Abstract.thy \
   Algebra/abstract/Factor.ML Algebra/abstract/Factor.thy \
   Algebra/abstract/Field.thy \
-  Algebra/abstract/Ideal.ML Algebra/abstract/Ideal.thy \
+  Algebra/abstract/Ideal2.ML Algebra/abstract/Ideal2.thy \
   Algebra/abstract/PID.thy \
-  Algebra/abstract/Ring.ML Algebra/abstract/Ring.thy \
+  Algebra/abstract/Ring2.ML Algebra/abstract/Ring2.thy \
   Algebra/abstract/RingHomo.ML Algebra/abstract/RingHomo.thy\
   Algebra/abstract/order.ML \
   Algebra/document/root.tex \
isabelle