src/HOL/ex/SOS.thy
Fri, 11 Sep 2015 11:12:08 +0200 wenzelm more symbols;
Wed, 08 Oct 2014 11:09:17 +0200 wenzelm simplified "sos" method;
Mon, 22 Sep 2014 16:28:24 +0200 wenzelm examples for local CSDP executable;
less more (0) tip