diff -r 007a339b9e7d -r 95b36bfe7fc4 src/HOL/IsaMakefile
--- 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		\