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