diff -r 690c65b8ad1a -r a2f19e0a28b2 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Fri Feb 20 07:41:41 2009 -0800
+++ b/src/HOL/Library/Library.thy	Fri Feb 20 08:02:11 2009 -0800
@@ -41,7 +41,7 @@
   Poly_Deriv
   Polynomial
   Primes
-  Product_plus
+  Product_Vector
   Quickcheck
   Quicksort
   Quotient