src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Tue Apr 13 07:48:32 2004 +0200
+++ b/src/HOL/IsaMakefile	Tue Apr 13 09:42:40 2004 +0200
@@ -341,6 +341,7 @@
   Algebra/Exponent.thy \
   Algebra/FiniteProduct.thy \
   Algebra/Group.thy \
+  Algebra/Lattice.thy \
   Algebra/Module.thy \
   Algebra/Sylow.thy \
   Algebra/UnivPoly.thy \