isabelle: Changelog

huffman [Thu, 19 Feb 2009 08:07:52 -0800] rev 29991

add more ordering lemmas

huffman [Thu, 19 Feb 2009 06:47:06 -0800] rev 29990

avoid using ab_semigroup_idem_mult locale for powerdomains

huffman [Thu, 19 Feb 2009 05:50:26 -0800] rev 29989

merged

huffman [Wed, 18 Feb 2009 20:53:58 -0800] rev 29988

add header

huffman [Wed, 18 Feb 2009 20:14:45 -0800] rev 29987

move Polynomial.thy to Library

huffman [Wed, 18 Feb 2009 19:51:39 -0800] rev 29986

move FrechetDeriv.thy to Library

huffman [Wed, 18 Feb 2009 19:32:26 -0800] rev 29985

split polynomial-related stuff from Deriv.thy into Library/Poly_Deriv.thy

kleing [Thu, 19 Feb 2009 23:55:10 +1100] rev 29984

half auto_solve default time out; increase manually in PG for large projects (L4v/Verisoft large).

huffman [Wed, 18 Feb 2009 17:02:38 -0800] rev 29983

merged

huffman [Wed, 18 Feb 2009 17:02:00 -0800] rev 29982

finish converting Deriv.thy to new polynomial library

isabelle