src/HOL/Library/Sum_of_Squares.thy
2011-03-13 wenzelm 2011-03-13 clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
2011-01-08 wenzelm 2011-01-08 renamed Sum_Of_Squares to Sum_of_Squares;