--- a/src/HOL/Library/Library.thy Tue Sep 01 14:13:34 2009 +0200
+++ b/src/HOL/Library/Library.thy Tue Sep 01 15:39:33 2009 +0200
@@ -43,11 +43,9 @@
OptionalSugar
Option_ord
Permutation
- Pocklington
Poly_Deriv
Polynomial
Preorder
- Primes
Product_Vector
Quicksort
Quotient