isabelle: Changelog

huffman [Mon, 12 Sep 2011 14:39:10 -0700] rev 44909

shorten proof of frontier_straddle

huffman [Mon, 12 Sep 2011 13:19:10 -0700] rev 44908

NEWS and CONTRIBUTORS

huffman [Mon, 12 Sep 2011 11:54:20 -0700] rev 44907

remove redundant lemma Lim_sequentially in favor of lemma LIMSEQ_def

huffman [Mon, 12 Sep 2011 11:39:29 -0700] rev 44906

simplify proofs using LIMSEQ lemmas

huffman [Mon, 12 Sep 2011 10:43:36 -0700] rev 44905

remove trivial lemma Lim_at_iff_LIM

huffman [Mon, 12 Sep 2011 10:28:45 -0700] rev 44904

fix typos

huffman [Mon, 12 Sep 2011 09:37:49 -0700] rev 44903

NEWS for euclidean_space class

huffman [Mon, 12 Sep 2011 09:21:01 -0700] rev 44902

move lemmas about complex number 'i' to Complex.thy and Library/Inner_Product.thy

hoelzl [Mon, 12 Sep 2011 09:57:33 -0400] rev 44901

adding NEWS and CONTRIBUTORS

bulwahn [Mon, 12 Sep 2011 13:35:35 +0200] rev 44900

merged

isabelle