--- a/src/HOL/Library/Library.thy Wed Nov 03 12:20:33 2010 +0100 +++ b/src/HOL/Library/Library.thy Wed Nov 03 12:20:33 2010 +0100 @@ -45,7 +45,6 @@ Polynomial Preorder Product_Vector - Quicksort Quotient_List Quotient_Option Quotient_Product