src/HOL/Hyperreal/Poly.thy
Mon, 25 Jun 2007 15:19:34 +0200 nipkow removed redundant lemma
Mon, 11 Jun 2007 11:06:04 +0200 chaieb tuned Proof
Thu, 07 Jun 2007 02:34:37 +0200 huffman tuned
Tue, 05 Jun 2007 16:32:16 +0200 chaieb Polynomials now only depend on Deriv; Definition of degree changed
Wed, 16 May 2007 23:03:45 +0200 huffman minimize imports
Thu, 26 Apr 2007 14:24:08 +0200 wenzelm eliminated unnamed infixes, tuned syntax;
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Mon, 09 Oct 2006 02:19:51 +0200 wenzelm attribute symmetric: zero_var_indexes;
Sat, 30 Sep 2006 17:10:55 +0200 huffman add type annotations for DERIV
Wed, 30 Aug 2006 03:19:08 +0200 webertj lin_arith_prover: splitting reverted because of performance loss
Sun, 30 Jul 2006 05:53:10 +0200 webertj lin_arith_prover splits certain operators (e.g. min, max, abs)
Wed, 26 Jul 2006 19:23:04 +0200 webertj linear arithmetic splits certain operators (e.g. min, max, abs)
Fri, 02 Jun 2006 23:22:29 +0200 wenzelm misc cleanup;
Thu, 05 Jan 2006 22:29:55 +0100 wenzelm replaced swap by contrapos_np;
Wed, 28 Sep 2005 11:14:26 +0200 paulson new lemma
less more (0) -15 tip