isabelle: Changelog

boehmes [Mon, 05 Sep 2011 11:34:54 +0200] rev 44718

tuned

boehmes [Mon, 05 Sep 2011 11:28:10 +0200] rev 44717

filter out all schematic theorems if the problem contains no ground constants

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

isabelle