src/HOL/ex/SOS.thy
2014-10-08 wenzelm 2014-10-08 simplified "sos" method;
2014-09-22 wenzelm 2014-09-22 examples for local CSDP executable;