--- a/src/HOL/Library/Library.thy Wed Feb 18 17:02:38 2009 -0800 +++ b/src/HOL/Library/Library.thy Wed Feb 18 19:32:26 2009 -0800 @@ -35,6 +35,7 @@ Option_ord Permutation Pocklington + Poly_Deriv Primes Quickcheck Quicksort