--- a/src/HOL/IsaMakefile Wed Jul 30 16:07:00 2008 +0200
+++ b/src/HOL/IsaMakefile Wed Jul 30 19:03:33 2008 +0200
@@ -509,7 +509,7 @@
Library/Multiset.thy Library/Permutation.thy Library/Primes.thy \
Algebra/AbelCoset.thy Algebra/Bij.thy Algebra/Congruence.thy \
Algebra/Coset.thy Algebra/Divisibility.thy Algebra/Exponent.thy \
- Algebra/FiniteProduct.thy Algebra/GLattice.thy \
+ Algebra/FiniteProduct.thy \
Algebra/Group.thy Algebra/Ideal.thy Algebra/IntRing.thy \
Algebra/Lattice.thy Algebra/Module.thy Algebra/QuotRing.thy \
Algebra/Ring.thy Algebra/RingHom.thy Algebra/Sylow.thy \