src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Thu May 07 12:02:16 2009 +0200
+++ b/src/HOL/Library/Library.thy	Thu May 07 12:17:17 2009 +0200
@@ -42,6 +42,7 @@
   Pocklington
   Poly_Deriv
   Polynomial
+  Preorder
   Primes
   Product_Vector
   Quickcheck