src/HOL/Library/Library.thy
changeset 38622 86fc906dcd86
parent 37818 dd65033fed78
child 40349 131cf8790a1c
     1.1 --- a/src/HOL/Library/Library.thy	Fri Aug 20 17:46:56 2010 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Fri Aug 20 17:48:30 2010 +0200
     1.3 @@ -22,6 +22,7 @@
     1.4    FrechetDeriv
     1.5    Fset
     1.6    FuncSet
     1.7 +  Function_Algebras
     1.8    Fundamental_Theorem_Algebra
     1.9    Indicator_Function
    1.10    Infinite_Set
    1.11 @@ -54,6 +55,7 @@
    1.12    Ramsey
    1.13    Reflection
    1.14    RBT
    1.15 +  Set_Algebras
    1.16    SML_Quickcheck
    1.17    State_Monad
    1.18    Sum_Of_Squares