src/HOL/IsaMakefile
changeset 27713 95b36bfe7fc4
parent 27697 bcf941cc3324
child 27717 21bbd410ba04
     1.1 --- a/src/HOL/IsaMakefile	Wed Jul 30 16:07:00 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Jul 30 19:03:33 2008 +0200
     1.3 @@ -509,7 +509,7 @@
     1.4    Library/Multiset.thy Library/Permutation.thy Library/Primes.thy	\
     1.5    Algebra/AbelCoset.thy Algebra/Bij.thy	Algebra/Congruence.thy		\
     1.6    Algebra/Coset.thy Algebra/Divisibility.thy Algebra/Exponent.thy	\
     1.7 -  Algebra/FiniteProduct.thy Algebra/GLattice.thy			\
     1.8 +  Algebra/FiniteProduct.thy						\
     1.9    Algebra/Group.thy Algebra/Ideal.thy Algebra/IntRing.thy		\
    1.10    Algebra/Lattice.thy Algebra/Module.thy Algebra/QuotRing.thy		\
    1.11    Algebra/Ring.thy Algebra/RingHom.thy Algebra/Sylow.thy		\