diff -r 5cb63cb4213f -r 4f1fba00f66d src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Fri Feb 19 09:35:18 2010 +0100
+++ b/src/HOL/Library/Library.thy	Fri Feb 19 13:54:19 2010 +0100
@@ -45,6 +45,11 @@
   Preorder
   Product_Vector
   Quicksort
+  Quotient_List
+  Quotient_Option
+  Quotient_Product
+  Quotient_Sum
+  Quotient_Syntax
   Quotient_Type
   Ramsey
   Reflection