isabelle: Changelog

huffman [Thu, 19 Feb 2009 09:42:23 -0800] rev 29993

new theory of real inner product spaces

huffman [Thu, 19 Feb 2009 09:39:49 -0800] rev 29992

add Powerdomain_ex.thy

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).

isabelle