src/HOL/Library/Sum_of_Squares/sum_of_squares.ML
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2012-02-15 wenzelm 2012-02-15 renamed Thm.capply to Thm.apply, and Thm.cabs to Thm.lambda in conformance with similar operations in structure Term and Logic;
2011-08-24 huffman 2011-08-24 delete commented-out dead code
2011-08-22 huffman 2011-08-22 comment out dead code to avoid compiler warnings
2011-05-02 wenzelm 2011-05-02 added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory; proper name bindings;
2011-01-10 wenzelm 2011-01-10 eliminated obsolete LargeInt -- Int is unbounded;
2011-01-08 wenzelm 2011-01-08 renamed Sum_Of_Squares to Sum_of_Squares;