src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Wed Oct 22 21:25:00 2008 +0200
+++ b/src/HOL/Library/Library.thy	Thu Oct 23 00:24:31 2008 +0200
@@ -33,6 +33,7 @@
   OptionalSugar
   Option_ord
   Permutation
+  Pocklington
   Primes
   Quicksort
   Quotient