src/HOL/Library/Sum_of_Squares/positivstellensatz_tools.ML
2011-07-23 wenzelm 2011-07-23 tuned;
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-01-08 wenzelm 2011-01-08 renamed Sum_Of_Squares to Sum_of_Squares;