src/HOL/Library/Sum_of_Squares.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-08 wenzelm 2014-10-08 simplified "sos" method;
2014-09-22 wenzelm 2014-09-22 clarified SOS tool setup vs. examples;
2013-12-09 wenzelm 2013-12-09 more antiquotations;
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;