src/HOL/Library/Sum_of_Squares.thy
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-02-22 huffman 2012-02-22 tuned whitespace
2011-05-02 wenzelm 2011-05-02 added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory; proper name bindings;
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;