src/HOL/Library/Sum_of_Squares_Remote.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2012-08-27 wenzelm 2012-08-27 less ambitious test -- terminate more quickly;
2012-08-19 wenzelm 2012-08-19 actual use of (sos remote_csdp) via ISABELLE_FULL_TEST;