1.1 --- a/src/HOL/Library/Library.thy Sun Sep 25 00:32:49 2011 +0200
1.2 +++ b/src/HOL/Library/Library.thy Sun Sep 25 09:37:33 2011 +0200
1.3 @@ -49,6 +49,7 @@
1.4 Quotient_List
1.5 Quotient_Option
1.6 Quotient_Product
1.7 + Quotient_Set
1.8 Quotient_Sum
1.9 Quotient_Syntax
1.10 Quotient_Type