etc/components
changeset 41474 60d091240485
parent 40975 498f272b4bcb
child 42105 bba85afcfedf
     1.1 --- a/etc/components	Sat Jan 08 17:30:05 2011 +0100
     1.2 +++ b/etc/components	Sat Jan 08 17:39:51 2011 +0100
     1.3 @@ -14,7 +14,7 @@
     1.4  src/Tools/WWW_Find
     1.5  src/HOL/Tools/ATP
     1.6  src/HOL/Mirabelle
     1.7 -src/HOL/Library/Sum_Of_Squares
     1.8 +src/HOL/Library/Sum_of_Squares
     1.9  src/HOL/Tools/SMT
    1.10  src/HOL/Tools/Predicate_Compile
    1.11  src/HOL/Mutabelle