src/HOL/ex/SOS_Cert.thy
2017-08-18 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2015-09-11 wenzelm more symbols;
2014-10-08 wenzelm simplified "sos" method;
2014-09-22 wenzelm examples for local CSDP executable;
2014-09-22 wenzelm clarified SOS tool setup vs. examples;
less more (0) tip