diff -r 03b46412760e -r 690c65b8ad1a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Feb 20 14:49:39 2009 +0100
+++ b/src/HOL/IsaMakefile	Fri Feb 20 07:41:41 2009 -0800
@@ -339,6 +339,7 @@
   Library/Random.thy	Library/Quickcheck.thy	\
   Library/Poly_Deriv.thy \
   Library/Polynomial.thy \
+  Library/Product_plus.thy \
   Library/Enum.thy Library/Float.thy $(SRC)/Tools/float.ML $(SRC)/HOL/Tools/float_arith.ML \
   Library/reify_data.ML Library/reflection.ML
 	@cd Library; $(ISABELLE_TOOL) usedir $(OUT)/HOL Library