src/HOL/Library/Sum_of_Squares.thy
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Wed, 08 Oct 2014 11:09:17 +0200 wenzelm simplified "sos" method;
Mon, 22 Sep 2014 16:15:29 +0200 wenzelm clarified SOS tool setup vs. examples;
Mon, 09 Dec 2013 12:22:23 +0100 wenzelm more antiquotations;
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
Wed, 22 Feb 2012 17:33:53 +0100 huffman tuned whitespace
Mon, 02 May 2011 16:33:21 +0200 wenzelm added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory;
Sun, 13 Mar 2011 17:28:14 +0100 wenzelm clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
Sat, 08 Jan 2011 17:39:51 +0100 wenzelm renamed Sum_Of_Squares to Sum_of_Squares;
less more (0) tip