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 13870 cf947d1ec5ff
parent 13858 a077513c9a07
child 13873 f9f49a1ec0f2 
--- a/src/HOL/IsaMakefile	Tue Mar 18 17:55:54 2003 +0100
+++ b/src/HOL/IsaMakefile	Tue Mar 18 18:07:06 2003 +0100
@@ -280,12 +280,8 @@
 $(LOG)/HOL-GroupTheory.gz: $(OUT)/HOL \
   Library/Primes.thy Library/FuncSet.thy \
   GroupTheory/Bij.thy \
-  GroupTheory/Coset.thy \
-  GroupTheory/Exponent.thy \
   GroupTheory/Group.thy \
-  GroupTheory/Module.thy GroupTheory/Ring.thy \
   GroupTheory/Summation.thy \
-  GroupTheory/Sylow.thy \
   GroupTheory/ROOT.ML \
   GroupTheory/document/root.tex
 	@$(ISATOOL) usedir -g true $(OUT)/HOL GroupTheory
@@ -340,6 +336,9 @@
 HOL-Algebra: HOL $(LOG)/HOL-Algebra.gz
 
 $(LOG)/HOL-Algebra.gz: $(OUT)/HOL Algebra/ROOT.ML \
+  Algebra/Coset.thy \
+  Algebra/Exponent.thy \
+  Algebra/Sylow.thy \
   Algebra/abstract/Abstract.thy \
   Algebra/abstract/Factor.ML Algebra/abstract/Factor.thy \
   Algebra/abstract/Field.thy \
isabelle