src/HOL/Library/Library.thy
changeset 31117 527ba4a37843
parent 31060 75d7c7cc8bdb
child 31186 b458b4ac570f
     1.1 --- a/src/HOL/Library/Library.thy	Mon May 11 21:55:30 2009 -0700
     1.2 +++ b/src/HOL/Library/Library.thy	Tue May 12 17:32:49 2009 +0100
     1.3 @@ -53,6 +53,7 @@
     1.4    Reflection
     1.5    RBT
     1.6    State_Monad
     1.7 +  Sum_Of_Squares
     1.8    Topology_Euclidean_Space
     1.9    Univ_Poly
    1.10    While_Combinator