src/HOL/Library/Sum_of_Squares/positivstellensatz_tools.ML
Sat, 23 Jul 2011 16:12:12 +0200 wenzelm tuned;
Sat, 16 Apr 2011 16:15:37 +0200 wenzelm modernized structure Proof_Context;
Sat, 08 Jan 2011 17:39:51 +0100 wenzelm renamed Sum_Of_Squares to Sum_of_Squares;
less more (0) tip