--- 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