src/HOL/Library/Sum_Of_Squares/positivstellensatz_tools.ML
2009-10-29 wenzelm 2009-10-29 eliminated some old folds;
2009-10-20 wenzelm 2009-10-20 tuned;
2009-10-19 wenzelm 2009-10-19 always qualify NJ's old List.foldl/foldr in Isabelle/ML;
2009-09-30 Philipp Meyer 2009-09-30 tuned FuncFun and FuncUtil structure in positivstellensatz.ML
2009-09-22 Philipp Meyer 2009-09-22 removed opening of structures
2009-09-22 Philipp Meyer 2009-09-22 used standard fold function and type aliases
2009-09-21 Philipp Meyer 2009-09-21 sos method generates and uses proof certificates