src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Fri Feb 20 07:41:41 2009 -0800
+++ b/src/HOL/IsaMakefile	Fri Feb 20 08:02:11 2009 -0800
@@ -340,6 +340,7 @@
   Library/Poly_Deriv.thy \
   Library/Polynomial.thy \
   Library/Product_plus.thy \
+  Library/Product_Vector.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