src/HOL/Library/Library.thy
changeset 35222 4f1fba00f66d
parent 35100 53754ec7360b
child 35303 816e48d60b13
     1.1 --- a/src/HOL/Library/Library.thy	Fri Feb 19 09:35:18 2010 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Fri Feb 19 13:54:19 2010 +0100
     1.3 @@ -45,6 +45,11 @@
     1.4    Preorder
     1.5    Product_Vector
     1.6    Quicksort
     1.7 +  Quotient_List
     1.8 +  Quotient_Option
     1.9 +  Quotient_Product
    1.10 +  Quotient_Sum
    1.11 +  Quotient_Syntax
    1.12    Quotient_Type
    1.13    Ramsey
    1.14    Reflection