src/HOL/Library/Library.thy
changeset 45074 04286b0fc856
parent 44897 787983a08bfb
child 45748 cf79cc09cab4
     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