changeset 32478 | 521cc9bf2958 |
parent 31990 | 1d4d0b305f16 |
child 33084 | cd1579e0997a |
child 33175 | 2083bde13ce1 |
1.1 --- a/src/HOL/Library/Library.thy Tue Sep 01 14:13:34 2009 +0200 1.2 +++ b/src/HOL/Library/Library.thy Tue Sep 01 15:39:33 2009 +0200 1.3 @@ -43,11 +43,9 @@ 1.4 OptionalSugar 1.5 Option_ord 1.6 Permutation 1.7 - Pocklington 1.8 Poly_Deriv 1.9 Polynomial 1.10 Preorder 1.11 - Primes 1.12 Product_Vector 1.13 Quicksort 1.14 Quotient