src/HOL/IsaMakefile
changeset 27697 bcf941cc3324
parent 27694 31a8e0908b9f
child 27713 95b36bfe7fc4
equal deleted inserted replaced
27696:15b65db66751 27697:bcf941cc3324
   502 
   502 
   503 ## HOL-Algebra
   503 ## HOL-Algebra
   504 
   504 
   505 HOL-Algebra: HOL $(LOG)/HOL-Algebra.gz
   505 HOL-Algebra: HOL $(LOG)/HOL-Algebra.gz
   506 
   506 
   507 $(LOG)/HOL-Algebra.gz: $(OUT)/HOL Algebra/ROOT.ML Library/Primes.thy	\
   507 $(LOG)/HOL-Algebra.gz: $(OUT)/HOL Algebra/ROOT.ML			\
   508   Library/FuncSet.thy Algebra/AbelCoset.thy Algebra/Bij.thy		\
   508   Library/Binomial.thy Library/FuncSet.thy				\
   509   Algebra/Coset.thy Algebra/Exponent.thy Algebra/FiniteProduct.thy	\
   509   Library/Multiset.thy Library/Permutation.thy Library/Primes.thy	\
       
   510   Algebra/AbelCoset.thy Algebra/Bij.thy	Algebra/Congruence.thy		\
       
   511   Algebra/Coset.thy Algebra/Divisibility.thy Algebra/Exponent.thy	\
       
   512   Algebra/FiniteProduct.thy Algebra/GLattice.thy			\
   510   Algebra/Group.thy Algebra/Ideal.thy Algebra/IntRing.thy		\
   513   Algebra/Group.thy Algebra/Ideal.thy Algebra/IntRing.thy		\
   511   Algebra/Lattice.thy Algebra/Module.thy Algebra/QuotRing.thy		\
   514   Algebra/Lattice.thy Algebra/Module.thy Algebra/QuotRing.thy		\
   512   Algebra/Ring.thy Algebra/RingHom.thy Algebra/Sylow.thy		\
   515   Algebra/Ring.thy Algebra/RingHom.thy Algebra/Sylow.thy		\
   513   Algebra/UnivPoly.thy Algebra/abstract/Abstract.thy			\
   516   Algebra/UnivPoly.thy Algebra/abstract/Abstract.thy			\
   514   Algebra/abstract/Factor.thy Algebra/abstract/Field.thy		\
   517   Algebra/abstract/Factor.thy Algebra/abstract/Field.thy		\