src/HOL/Library/Sum_of_Squares/positivstellensatz_tools.ML
Sat, 08 Jan 2011 17:39:51 +0100 wenzelm renamed Sum_Of_Squares to Sum_of_Squares;
less more (0) tip