isabelle: Changelog

huffman [Sun, 04 Sep 2011 21:04:02 -0700] rev 44716

merged

huffman [Sun, 04 Sep 2011 21:03:54 -0700] rev 44715

tuned comments

huffman [Sun, 04 Sep 2011 11:16:47 -0700] rev 44714

simplify proof of Bseq_mono_convergent

wenzelm [Sun, 04 Sep 2011 20:37:20 +0200] rev 44713

merged

huffman [Sun, 04 Sep 2011 10:29:38 -0700] rev 44712

replace lemma expi_imaginary with reoriented lemma cis_conv_exp

huffman [Sun, 04 Sep 2011 10:05:52 -0700] rev 44711

remove redundant lemmas expi_add and expi_zero

huffman [Sun, 04 Sep 2011 09:49:45 -0700] rev 44710

remove redundant lemmas about LIMSEQ

huffman [Sun, 04 Sep 2011 07:15:13 -0700] rev 44709

introduce abbreviation 'int' earlier in Int.thy

huffman [Sun, 04 Sep 2011 06:56:10 -0700] rev 44708

remove unused assumptions from natceiling lemmas

huffman [Sun, 04 Sep 2011 06:27:59 -0700] rev 44707

move lemmas nat_le_iff and nat_mono into Int.thy

isabelle