1.1 --- a/src/HOL/Library/Library.thy Wed Nov 03 12:20:33 2010 +0100
1.2 +++ b/src/HOL/Library/Library.thy Wed Nov 03 12:20:33 2010 +0100
1.3 @@ -45,7 +45,6 @@
1.4 Polynomial
1.5 Preorder
1.6 Product_Vector
1.7 - Quicksort
1.8 Quotient_List
1.9 Quotient_Option
1.10 Quotient_Product