src/HOL/Library/Library.thy
changeset 41474 60d091240485
parent 40673 3b9b39ac1f24
child 43124 fdb7e1d5f762
     1.1 --- a/src/HOL/Library/Library.thy	Sat Jan 08 17:30:05 2011 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Sat Jan 08 17:39:51 2011 +0100
     1.3 @@ -56,7 +56,7 @@
     1.4    Set_Algebras
     1.5    SML_Quickcheck
     1.6    State_Monad
     1.7 -  Sum_Of_Squares
     1.8 +  Sum_of_Squares
     1.9    Transitive_Closure_Table
    1.10    Univ_Poly
    1.11    While_Combinator